Posts Tagged ‘linux’

Linux: Extract audio from .mp4 (video + audio) to .mp3 (audio)

Posted in linux, projects, shell scripting, tips and tricks on Sunday, December 12th, 2010. 2 comments so far
Tags: , , ,

gedit syntax coloring for AMPL

Posted in linux, programming, tips and tricks on Sunday, October 24th, 2010. One comment so far
Tags: , , , , ,

Linux: Refresh group membership without logging out

Posted in linux, tips and tricks on Thursday, October 21st, 2010. One comment so far
Tags: , ,

Adobe Air on Fedora 12 x64

Posted in linux, tips and tricks on Wednesday, March 10th, 2010. One comment so far
Tags: , ,

Moving a Subversion Repository

Posted in linux, tips and tricks on Sunday, January 31st, 2010. 2 comments so far
Tags: , , ,

ping fails but dig / nslookup works?

Posted in linux, networking, shell scripting on Wednesday, January 20th, 2010. No comments yet
Tags: , , , , , ,

Quick Bash Trick: Looping through output lines

Posted in linux, programming, shell scripting on Sunday, January 17th, 2010. 2 comments so far
Tags: , ,

How To: Speed up X Tunneling over SSH

Posted in networking, tips and tricks on Friday, November 6th, 2009. One comment so far
Tags: ,

My .zshrc

Posted in linux, tips and tricks on Tuesday, October 6th, 2009. No comments yet
Tags:

LAN DNS Resolution with WRT54G DD-WRT’s DNSMasq (Linux and Windows 7)

Posted in linux, networking, tips and tricks, windows on Thursday, September 17th, 2009. 2 comments so far
Tags: , , ,