Work the Shell - Resizing Images, Sort Of
Here's the basic script at this point:
filename="edit.png" multiplier="0.75" width="$(file $filename | cut -f5 -d\ )" height="$(file $filename | cut -f7 -d\ | sed 's/,//')" width="$(echo "$width * $multiplier" | bc | cut -d. -f1)" height="$(echo "$height * $multiplier" | bc | cut -d. -f1)" echo "$filename scaled: width=$width height=$height"
Testing it with the filename specified produces the following:
$ sh scale-image.sh edit.png scaled: width=541 height=539
That's not really exactly what I want, however. First, I want to be able to specify the filename and multiplier on the command line. Second, the output needs a slight tweak to be more useful—the values need to be surrounded by quotation marks.
Here's what I'd like to see:
$ sh scale-image.sh 0.75 edit.png edit.png: width="541" height="539" $
That's not too hard to accomplish given the basic script we already have. See if you can do it yourself.
Tip: I actually use a “for name; do; done” loop to step through the file scaling, so I can specify a group of images and calculate them all en masse. Try it, coupled with the shift command, to remove the multiplier value once it's saved into a named variable.
Dave Taylor is a 26-year veteran of UNIX, creator of The Elm Mail System, and most recently author of both the best-selling Wicked Cool Shell Scripts and Teach Yourself Unix in 24 Hours, among his 16 technical books. His main Web site is at www.intuitive.com, and he also offers up tech support at AskDaveTaylor.com. Follow him on Twitter if you'd like: twitter.com/DaveTaylor.
Dave Taylor has been hacking shell scripts for over thirty years. Really. He's the author of the popular "Wicked Cool Shell Scripts" and can be found on Twitter as @DaveTaylor and more generally at www.DaveTaylorOnline.com.
- Two Pi R
- Readers' Choice Awards 2013
- AIDE—Developing for Android on Android
- A Handy U-Boot Trick
- The Geek's Guide to the Coolest 2013 Holiday Gifts
- Best. Cake. Ever.
- Sublime Text: One Editor to Rule Them All?
- Raspberry Pi: the Perfect Home Server
- Tech Tip: Really Simple HTTP Server with Python
- RSS Feeds
- Reality is disapointing
10 hours 22 min ago
- Máy sấy quần áo
13 hours 8 min ago
- Services on GlusterFS
13 hours 18 min ago
- Reply to comment | Linux Journal
14 hours 58 min ago
- Definitely cool stuff here
16 hours 7 sec ago
- thanks for the information
17 hours 11 min ago
- nice information thanks
17 hours 49 min ago
20 hours 45 min ago
- The lost opportunity of security
1 day 8 hours ago
- Andhra Pradesh has a variety
1 day 12 hours ago