Assigning /tmp and to mount on a file system, not in root
I am pondering a reinstall of a freshly installed Ubuntu; I may or may not take that drastic step. However, I have partitioned my drive to include a 16-GB partition labelled "Ubuntu-tmp", in my case /dev/sda7, with the intent of mounting that file system as /tmp. Depending on how I decide to go about the reinstall I need an answer to these questions:
- If I reinstall: Is it possible to designate /dev/sda7 to mount as /tmp during the installation process?
- If I cannot designate the mounts at install time, or if I opt not to reinstall: I can't really empty the /tmp directory in the root in order to properly use it as a mount point for [the file system on] /dev/sda7; many files in there are still in use by running processes. So how can I clear the /-mounted /tmp directory and assign it to /dev/sda7?
I have attached a screen shot of gparted to illustrate my layout scheme. The gparted manual suggests I select the partition, click [Partition]->[Mount]. Of course, my gparted drops a menu with [Mount] is absent and an [Unmount] option is greyed out. This raises a question of how I am going to mount /users and /var in their intended file systems (/dev/sda8 and /dev/sda9, respectively), because the [partition] menu looks the same for these partitions as well.
Thanks mucho for advice here.
-- Rasputin Paskudniak II (In pursuit of undomesticated, semi-aquatic avians)