User Tools

Site Tools


developer_tools

This is an old revision of the document!


Developer Tools

git - source code version control

gpg - file encryption

vim - text editor

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
aider configurations, see .aider.conf.yml
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
aider /undo = git reset --hard HEAD^

https://www.bavaga.com/blog/2025/01/27/my-ultimate-conventional-commit-types-cheatsheet/

developer_tools.1781415361.txt.gz · Last modified: 2026/06/14 01:36 by jhagstrand

Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
Public Domain Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki