Author Archives: admin

HOWTO Redirect Linux Console Without Reboot

Posted on October 3, 2011 by admin

You can re-apply your /etc/inittab file in real-time without rebooting your machine. This allows you to do a lot of neat things, such as redirect your system console to the serial port without a reboot. Edit your /etc/inittab file and … Continue reading →

Posted in How Tos, linux | Leave a comment

HOW TO detect STDIN with Python

Posted on July 25, 2011 by admin

In Python, as with most languages, STDIN is treated like a file. You can read from it any time, but knowing what kind of file it is lets us know if someone passed us something via STDIN or if we … Continue reading →

Posted in How Tos, Programming, python | 2 Comments

HowTo Use an HTTP Proxy With Git

Posted on April 29, 2011 by admin

git should use the environment variable $http_proxy so set that and you should be ok. If you don’t want to use the environment, set it statically like this: $ git config –global http.proxy http://proxy.example.com:8080 $ git config –get http.proxy http://proxy.example.com:8080

Posted in git, How Tos, Programming | Leave a comment