mount -o remount,rw /partition/identifier /mount/point
If your stored token has expired, reset it this way 1 echo url=https://<github username>@github.com | git credential reject next pull or push, it’ll prompt for the new one
Need to run older versions of ansible? Build it in a docker container and run it from there, no muss, no fuss 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32...
Once its be exported from mediawiki to markdown, use this script to nudge it into jekyll 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 #!/usr/bin/env bash # Set so...
regexp
remove-whitespace
A new version of content is available.
