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

Reply via email to