User Tools

Site Tools


developer_tools

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
developer_tools [2026/07/06 01:36] – [Cheatsheet] jhagstranddeveloper_tools [2026/07/06 11:30] (current) – [Cheatsheet] jhagstrand
Line 37: Line 37:
  
 git reset --hard HEAD^  # same as aider /undo  git reset --hard HEAD^  # same as aider /undo 
 +
 +git diff --stat HEAD~1  # compare previous version to current worktree, statistics only
  
 git difftool --tool=vimdiff -v 186ae59 html/geolib/projection.js git difftool --tool=vimdiff -v 186ae59 html/geolib/projection.js
developer_tools.txt · Last modified: 2026/07/06 11:30 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