developer_tools
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| developer_tools [2026/06/14 01:46] – [Web Development] jhagstrand | developer_tools [2026/06/25 03:54] (current) – [Cheatsheet] jhagstrand | ||
|---|---|---|---|
| Line 7: | Line 7: | ||
| [[vim]] - text editor | [[vim]] - text editor | ||
| + | [[postgresql]] - database | ||
| + | |||
| + | [[postgis]] - database extension | ||
| + | |||
| + | [[apache]] - webserver | ||
| ===== Cheatsheet ===== | ===== Cheatsheet ===== | ||
| - | | + | < |
| - | grep -r " | + | # find text within files |
| - | + | grep -r " | |
| - | # find files | + | |
| - | find . -name *.plugin | + | |
| - | find / -name Wire.h 2>&1 | grep -v " | + | |
| - | + | ||
| - | # run lint on whole repo> | + | |
| - | find . -type f \( -name " | + | |
| - | + | ||
| - | # 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/ | + | |
| - | unlink public_html | + | |
| - | + | ||
| - | # git | + | |
| - | git remote set-url origin ssh:// | + | |
| - | git remote set-url gitlab https:// | + | |
| - | + | ||
| - | git reset --hard HEAD^ # same as aider /undo | + | |
| + | # find files | ||
| + | find . -name *.plugin | ||
| + | find / -name Wire.h 2>&1 | grep -v " | ||
| + | |||
| + | # run lint on whole repo> | ||
| + | find . -type f \( -name " | ||
| + | |||
| + | # 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/ | ||
| + | unlink public_html | ||
| + | |||
| + | # git | ||
| + | git remote set-url origin ssh:// | ||
| + | git remote set-url gitlab https:// | ||
| + | |||
| + | git reset --hard HEAD^ # same as aider /undo | ||
| aider configurations, | aider configurations, | ||
| Line 37: | Line 42: | ||
| https:// | https:// | ||
| + | feat: | ||
| + | fix: | ||
| + | chore: | ||
| + | build: | ||
| + | revert: | ||
| + | docs: | ||
| + | test: | ||
| + | refactor: | ||
| + | perf: | ||
| + | style: | ||
| + | revert: | ||
| + | |||
| + | |||
| + | sudo tail -f / | ||
| + | sudo tail -f / | ||
| + | </ | ||
| + | ~ | ||
| =====Web Development===== | =====Web Development===== | ||
developer_tools.1781415981.txt.gz · Last modified: 2026/06/14 01:46 by jhagstrand