# /etc/fstab: static file system information.
#
# Use 'blkid' to print the universally unique identifier for a
# device; this may be used with UUID= as a more robust way to name devices
# that works even if disks are added and removed. See fstab(5).
#
# <file system> <mount point>   <type>  <options>       <dump>  <pass>
proc            /proc           proc    nodev,noexec,nosuid 0       0
# / was on /dev/sda2 during installation
UUID=b9137a9d-db05-4fd1-9f39-454e04ad9ecd /               ext4    noatime,discard,errors=remount-ro 0       1
# swap was on /dev/sda1 during installation
UUID=255b0250-e6d4-47d1-9cd8-518c4522b9f9 none            swap    sw              0       0
tmpfs           /tmp            tmpfs     nodev,nosuid,noatime,mode=1777,size=15% 0       0
tmpfs           /var/tmp        tmpfs     defaults,size=5%                        0       0
tmpfs           /var/run        tmpfs     defaults,size=5%                        0       0