On Thu, Nov 27, 2014 at 07:51:27PM +0100, Jan Kiszka wrote:
> On 2014-11-27 19:18, Gilles Chanteperdrix wrote:
> > On Thu, Nov 27, 2014 at 05:25:59PM +0100, Jan Kiszka wrote:
> >> The following changes since commit
> >> c13ff82ac09f6daa94778dcd8b51902efd754f3d:
> >>
> >> rtnet: update at91_ether driver (2014-11-16 20:06:04 +0100)
> >>
> >> are available in the git repository at:
> >>
> >> git://git.xenomai.org/xenomai-jki.git for-forge
> >>
> >> for you to fetch changes up to d36ae28f9c0549c0af66e896711dde21ea769587:
> >>
> >> regd: Switch to tmpfs as default (2014-11-27 17:19:33 +0100)
> >
> > According to the filesystem hierarchy standard, /mnt is the standard
> > place for "temporarily mounted filesystems".
> >
> > http://en.wikipedia.org/wiki/Filesystem_Hierarchy_Standard
>
> Right, another reason to NOT mess around with it: if something was
> temporarily mounted there, we will create the mountpoint inside that
> filesystem with unforeseeable side effects.
Note the plural: filesystemS
It is very very very common to have multiple directories in /mnt and
mount filesytems in there.
>
> >
> > /run is a deviation to the standard, and does not seem to be
> > indicated as a mount point (though debian mounts things there).
>
> "Modern" distros do, according to that article, so I suppose the
> majority. It's about to become standard.
>
> >
> > The standard equivalent of /run would be /var/run.
> >
> > But why do we need to change that globally, is not this configurable?
>
> We must stop writing to potentially read-only and/or non-local
> directories. If it's /run or /var/run, I don't care too much.
Your change currently breaks Xenomai with the tool I, Philippe and
Jorge are using to test xenomai on the platforms I have at home. So,
there better be a good reason, and that does not look like one. If
you want mnt to be a tmpfs, then make it one, who is stopping you
from doing it ?
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
