On 24 Mrz., 13:47, AD <adphy2...@gmail.com> wrote: > Thanks. However, before I proceed with your suggestion, here are the > results of the commands (which actually vary from what you mentioned). > > $ mount | egrep "pts|shm" > none on /dev/pts type devpts (rw,noexec,nosuid,gid=5,mode=0620) > tmpfs on /dev/shm type tmpfs (ro) > > $ cat /etc/mtab |egrep "pts|shm" > none /dev/pts devpts rw,noexec,nosuid,gid=5,mode=0620 0 0 > tmpfs /dev/shm tmpfs ro 0 0 > > The /dev/shm is different from what you expect and is also showing "ro" but > if I use remount as you wrote, it becomes "rw" for that session. The > /etc/fstab has the entries (only relevant part shown): > ************************************************************************************** > > <file system> <mount point> <type> <options> <dump> <pass> > > proc /proc proc nodev,noexec,nosuid 0 0 > > # / was on /dev/sda1 during installation > > UUID=2a270867-509b-4267-85b6-75e8233fc511 / ext4 > errors=remount-ro 0 1 > > # swap was on /dev/sda5 during installation > > UUID=57c1acc5-2d96-4ed5-867a-962e7b7bc588 none swap > sw 0 0 > > tmpfs /dev/shm tmpfs defaults,ro 0 0 > ***************************************************************************************** > I guess you suggest me to delete the last line above and copy the part > "/dev/shm type tmpfs (rw,nosuid,nodev)" there. But what about the word > "none"? What should be there at <filesystem>? "none" or a blank-space? > > Similarly, in the /etc/mtab there is an entry "tmpfs /dev/shm tmpfs rw 0 > 0". Here also should I replace "tmpfs" with "none" or with a space? > > Third, will it work if I write the following in the /etc/fstab (with tmpfs > replaced by what you suggest) > > tmpfs /dev/shm tmpfs defaults,noexec,nosuid 0 0 > > This also mounts /dev/shm writable but probably better from security point > of view.
The lines output by `cat /etc/mtab` are in exactly the same format as / etc/fstab is, i.e., you could copy just those lines I've shown into the latter (of course removing other entries for the same mount point in case such exist). The most important thing is that /dev/shm (likewise, /dev/pts) is *not* mounted read-only, so you should at least replace "ro" with "rw", unless you want to 'sudo mount -o remount,rw /dev/shm' after each reboot. > Frankly, I do not fully understand mounting issues and I am trying to > understand, so I am asking such questions here. I hope you will bear with > me. If all else fails: $ man mount ;-) -leif -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org