User Tools

Site Tools


developer_tools

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/

GeoGebra https://www.geogebra.org/geometry?lang=en

developer_tools.txt · Last modified: 2026/06/25 03:54 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