DJN Notes

Short notes for posterity.

• Making a discrete colormap/colorbar in Python with matplotlib November 4, 2023
• Retrying an rsync (or ssh) command until it succeeds October 19, 2023
• Reordering out-of-order PDF files January 22, 2023
• Deploying to a git repository on your VPS January 8, 2023
• Adding a new subdomain hosted with nginx & letsencrypt January 6, 2023
• Reverting git commits for pull requests January 5, 2023
• Setting the editor when sudo-ing crontab edits January 4, 2023
• Generating movies from directories of images using ffmpeg January 3, 2023