Hide

What's this?

commandlinefu.com is the place to record those command-line gems that you return to again and again.

Delete that bloated snippets file you've been using and share your personal repository with the world. 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.


If you have a new feature suggestion or find a bug, please get in touch via http://commandlinefu.uservoice.com/

Get involved!

You can sign-in using OpenID credentials, or register a traditional username and password.

First-time OpenID users will be automatically assigned a username which can be changed after signing in.

Universal configuration monitoring and system of record for IT.
Hide

Stay in the loop…

Follow the Tweets.

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

Subscribe to the feeds.

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:

Hide

News

May 19, 2015 - A Look At The New Commandlinefu
I've put together a short writeup on what kind of newness you can expect from the next iteration of clfu. Check it out here.
March 2, 2015 - New Management
I'm Jon, I'll be maintaining and improving clfu. Thanks to David for building such a great resource!
Hide

Top Tags

Hide

Functions

Hide

Credits

Convert PNG to GIF

Terminal - Convert PNG to GIF
for file in *.png; do convert "$file" "$(basename $file .png).gif"; done
2009-02-15 23:39:08
User: brettalton
Functions: file
3
Convert PNG to GIF

(relies on 'imagemagick')

Convert all .png files to .gif. This can also go the other way if you reverse the file extensions in the command, e.g.:

for file in *.gif; do convert "$file" "$(basename $file .gif).png"; done

If the file is named 'example1.png' it will be named 'example1.gif' when it is complete.

Alternatives

There are 4 alternatives - vote for the best!

Terminal - Alternatives

Know a better way?

If you can do better, submit your command here.

What others think

for i in *.png; do convert $i ${i%%png}gif; done

is a little shorter.

Comment by monemmer 327 weeks and 4 days ago

and uses less execs!!

Comment by hso 327 weeks and 4 days ago

Surely this is better:

mogrify -format gif *.png
Comment by zingit 327 weeks and 4 days ago

@zingit: ftw!

Comment by hso 327 weeks and 4 days ago

It rocks !

Comment by eastwind 187 weeks and 4 days ago

Your point of view

You must be signed in to comment.