Python Scriptable SSH For a simple way of remotely administering machines, over SSH, with Python, have a look at paramiko. You can grab it using easy_install, which can itself be grabbed from PyPi, and installed using sudo sh easy_install_filename.egg. Here’s a simple script I rustled up, based on the tutorial. It fires up mediatomb, on my server microwave: If you don’t like using password-less sudo, don’t worry, it can cope with that too.
I spend quite a bit of time looking for references on Google Scholar, and decided to see what I could do with LaunchBar 5 to make my life easier. Here’s a quick screencast to show what I’ve got going on: LaunchBar, BibDesk and Google Scholar from Matt Foster on Vimeo. If you view this video on vimeo you can see it in HD goodness.
Git is one of those programs, like, say vim, which contains more functionality than it seems humanly possible to grasp. Thankfully, there are sites like gitready, which are designed to help us mere mortals to grasp the awesomeness. I’m very pleased to be able to report that a bit of awesomeness that I’ve been involved in has been listed. Have a look at the ZSH Git Status page and you might see what I mean.
I’ve just enabled disqus support in the blog template. Now, instead of the mephisto form, you should see a disqus one. I’m hoping this should speed up the commenting process, and make it easier for discussions to happen. So please, comment away!
Abbreviations are ZSH feature I just stumbled across, whilst proselytising about GRML, a cool linux distro. Here’s a snippet to show you the ultimate power they offer: OK, so it may not make much sense as it stands, but bear with me. Suppose you want to get some information about the size of the directory tree you’re in. Now, you want to use something like du -sch, traditionally, you might have alias da='du -sch' in a config.