developer_tools
This is an old revision of the document!
Table of Contents
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/
Web Development
Client-side technologies:
- HTML
- CSS
- Javascript
Server-side technologies:
AJAX
Client-server architecture
Client-side apps
Drawing apps
Vector Paint https://vectorpaint.yaks.co.nz/
Geacron https://geacron.com/home-en/
developer_tools.1781415981.txt.gz · Last modified: 2026/06/14 01:46 by jhagstrand