developer_tools
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| developer_tools [2026/06/21 07:07] – [Cheatsheet] jhagstrand | developer_tools [2026/06/22 06:03] (current) – [Cheatsheet] jhagstrand | ||
|---|---|---|---|
| Line 14: | Line 14: | ||
| ===== 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 44: | Line 44: | ||
| sudo tail -f / | sudo tail -f / | ||
| sudo tail -f / | sudo tail -f / | ||
| - | + | </ | |
| + | ~ | ||
| =====Web Development===== | =====Web Development===== | ||
developer_tools.txt · Last modified: 2026/06/22 06:03 by jhagstrand