User Tools

Site Tools


developer_tools

This is an old revision of the document!


Developer Tools

git - source code version control

gpg - file encryption

vim - text editor

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/

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

developer_tools.1781415981.txt.gz · Last modified: 2026/06/14 01:46 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