Linux

Identifying disks by UUID

To get a the UUID of a disk, do $ sudo blkid /dev/sdb1 /dev/sdb1: UUID="a48cf280-fcc7-4283-ab31-5a23440bd2fa" TYPE="ext4" Now you can refer to the device as /dev/disk-by-uuid/xxx. Or you can mount by UUID from fstab as follows: UUID=a48cf280-fcc7-4283-ab31-5a23440bd2fa /external ext4 rw,user,noauto

Burning mixed CDs

There are two ways to mix audio and data on a CD. The first is to use a single session, using the first track for data and the rest for audio (this works because most CD players will ignore the data track). The command (Debian) is something like wodim -v dev=/dev/cdrom -data cdimage.raw -audio track*.cdaudio The second option is the best according to advice I’ve found, and the only I’ve actually tried.

Converting among graphic formats

Command-line utilities to convert between graphic formats I have found useful: eps to pdf: ps2pdf with -dEPSCrop option to produce the pdf “bounding box” epstopdf (part of texlive package). Seems better than the above, automatically uses bounding box and respects orientation. convert is a command-line tool to convert among various formats. Very easy basic usage (assumes target format from file extension). Part of ImageMagic. pdftk is a tool to manipulate pdf files (split, join and much more).