-
Archives
- April 2017
- April 2016
- July 2015
- November 2014
- October 2014
- June 2014
- May 2014
- January 2014
- December 2013
- October 2013
- April 2013
- April 2012
- October 2011
- July 2011
- April 2011
- March 2011
- February 2011
- May 2010
- April 2010
- January 2010
- October 2009
- June 2009
- May 2009
- April 2009
- February 2009
- October 2008
- September 2008
- August 2008
- July 2008
- January 2008
- December 2007
- October 2007
- September 2007
- August 2007
- July 2007
- June 2007
- May 2007
-
Meta
Author Archives: admin
HOWTO Redirect Linux Console Without Reboot
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
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
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