CLI Reminders

DevCommands.md

To flatten in-place an image exported from Tiled, with GB Studio sprite background color:

magick mogrify in.png -background "#65ff00" -alpha off -flatten

To rename a tag already commited and pushed in git:

git tag new-name commit-hash-old-name-pointed-to
git tag -d old-name
git push origin new-name :old-name
git fetch --prune --prune-tags

To compare two folders on Windows 10:

robocopy folder1 folder2 /L More info.

To reauthorize SSO on GitHub when a new credential is added:

1. Open Window's Credential Manager and delete the existing GitHub credential.
2. Reinitialise git's credential from the command line: git credential-manager github login
3. Rerun git pull and follow the pop-up instructions to authenticate in a browser.