On Fri, Nov 28, 2014 at 01:43:48PM +0100, Gilles Chanteperdrix wrote: > The problem is not why not? The problem is why. A mount point was > chosen, which is not stupid, documentation and web contents were > written, people have started getting used to it. So, why changing it > now ? So from my point of view, Jan patch looks like a patch that > has been submitted without thinking to the consequences, and changes > things for bad reasons.
The original choice of /mnt does not consider the consequences. > The sentence you quote does not really apply to xenomai, since > xenomai is not an "installation program". The standard basically > says that software installed by the distribution has no business > messing with /mnt. But Xenomai is not installed by a distribution. > If distibutions want to change this directory when they make xenomai > their own package, they will apply patches, they do this all the > time, and document the difference in > /usr/share/doc/xenomai/README.Debian Debian includes xenomai packages. So yes it can be installed by a distribution. Make the mount point a configurable option (compile time is fine) so at least when building packages for a distribution the location can be changed to something sane. -- Len Sorensen _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
