General Linux Stuff

Anything you see here could be considered a hint or tip regarding almost any version of Linux you are using. In reality, they are here because I don't use them often enough to have them lodged in my memory - which is not as good as it once was.

I'm trying to keep the following list in some sort of pseudo-alphabetic order, but hey!

You know how it is, you ftp a load of files to your Linux box and the file names you saw in, say, Windows are not really the true physical file names, so nothing (script wise) works because while Windows is case insensitive, Linux is not. Sigh.

cd wherever/the/files/live

for filename in *
do
  newname=`echo ${filename} | tr '[:upper:]','[:lower:]'`
  mv ${filename} ${newname}
done

An ISO file is an image of a CD or DVD. Normally you would burn these to a physical disc, using K3B or similar, but they can be mounted as a file system as follows. Needs root privileges.

su -
<root password>

mkdir /media/cdimage
mount -o loop -t iso9660 /path/to/iso/file.iso /media/cdimage
exit

From now on, the CD or DVD can be found in /media/cdimage and used exactly as if it was a physical disc in the appropriate drive.

To unmount it when done:

su -
<root password>

umount /media/cdimage
exit