git gc should be run on all git repositories every 100 commits. This will help do do so if you have many git repositories ;-)
This command extracts the audio stream of the video in $file and stores it in a file where the original suffix is changed to .mp3
A short variant if you have only one directory whit only audio files in it.
Supports other file formats.
Maybe you want first check which files will be deleted:
find $HOME -name '*.sol' -exec echo rm {} \;
Standard command, but I always have to search for it... ;-)
commandlinefu.com is the place to record those command-line gems that you return to again and again. That way others can gain from your CLI wisdom and you from theirs too. All commands can be commented on, discussed and voted up or down.
Every new command is wrapped in a tweet and posted to Twitter. Following the stream is a great way of staying abreast of the latest commands. For the more discerning, there are Twitter accounts for commands that get a minimum of 3 and 10 votes - that way only the great commands get tweeted.
» http://twitter.com/commandlinefu
» http://twitter.com/commandlinefu3
» http://twitter.com/commandlinefu10
Use your favourite RSS aggregator to stay in touch with the latest commands. There are feeds mirroring the 3 Twitter streams as well as for virtually every other subset (users, tags, functions,…):
Subscribe to the feed for: