I like minecraft, a lot, on occassion. But it needs a few tweaks for me to really get into it. I’m going to document them now:
Posts tagged tricks
So I use Vim as my primary editor. Unfortunately, some applications I require (e.g. Proof General) run only on the Emacs operation system, which comes with a terrible editor. Thankfully, I’ve found a pretty decent port of Vim to Emacs, called (appropriately) Evil.
A while back, I got really sick of sometimes accidentally rm-ing a file. I thought “Woe is me, if only I had a command that, instead, hid the file away from me, in a place I knew of but didn’t really thing about, so I could recover it if I wanted it.”.
Disclaimer: I typed this is a hurry and haven’t proof-read it, or tried running any of the code (except the script at the end).
So a while ago I decided to use git to track all my dot-files and other assorted configuration stuff that each of my linux systems need. I’m going to try to outline how I did this: