developer_tools
This is an old revision of the document!
Developer Tools
Cheatsheet
# find text within files grep -r "progressive" . # find files find . -name *.plugin find / -name Wire.h 2>&1 | grep -v "Permission denied" # run lint on whole repo> find . -type f \( -name "*.js" -o -name "*.html" -o -name "*.css" \) -not -path "*/node_modules/*" -not - # run local web server python3 -m http.server > /dev/null 2>&1 & # fg + ctrl-C to kill before window close # soft links ln -s webprod/homepage/homepage public_html unlink public_html # git git remote set-url origin ssh://voyccom@az1-ss8.a2hosting.com:7822/home/voyccom/voycgit/robots.git git remote set-url gitlab https://gitlab.com/voyc/robots.git git reset --hard HEAD^ # same as aider /undo
aider configurations, see .aider.conf.yml
https://www.bavaga.com/blog/2025/01/27/my-ultimate-conventional-commit-types-cheatsheet/
developer_tools.1781415575.txt.gz · Last modified: 2026/06/14 01:39 by jhagstrand