developer_tools
Table of Contents
Developer Tools
git - source code version control
gpg - file encryption
vim - text editor
postgresql - database
postgis - database extension
apache - webserver
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/ feat: fix: chore: build: revert: docs: test: refactor: perf: style: revert: sudo tail -f /var/log/apache2/error.log sudo tail -f /var/log/voyc/error.log
~
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.txt · Last modified: 2026/06/25 03:54 by jhagstrand