gg

gg laboratory @ Imperial College London

Patches for Nautilus “move to trash” bug

Warning, this post contains a geek rant. If you use the nautilus or nautilus-elementary filemanager (the default file manager in any gnome-based linux distro, including Ubuntu), you are probably aware of the annoying bug with file deletion. Like any other file manager, nautilus allows you to delete your files using keyboard shortcuts: permanently (hit <Shift-Delete>) [...]

GPG Key

I decided time had come to get a [[Pretty_Good_Privacy|PGP key]]. Here is my public ID: 1024D/DE8D92BF This is my fingerprint: 6BA6 61B1 A198 8DDF 50BF 7F2A DE7F 773B DE8D 92BF And from here you can download my public key. Additional notes: Quick notes for GPG syntax (here) Creating SSH keys (here)