Andreas Florath 46a07de480 Fix /dev/pts mount options handling
The current implementation - as introduced in
Iee44703297a15b14c715f4bfb7bae67f613aceee - has some shortcomings / bugs,
like:

* the 'grep' check is too sloppy
* when /dev/pts is already mounted multiple times the current implementation
  fails:
  $ mount | grep devpts | sed 's/.*(\(.*\))/\1/'
  rw,nosuid,noexec,relatime,gid=5,mode=620,ptmxmode=000
  rw,nosuid,noexec,relatime,gid=5,mode=620,ptmxmode=000
  rw,nosuid,noexec,relatime,gid=5,mode=620,ptmxmode=000
* code duplication
* Using the undocumented and non-robust output
  of 'mount'.

This patch fixed the above problems.

Change-Id: Ib0c7358772480c56d405659a6a32afd60c311686
Signed-off-by: Andreas Florath <andreas@florath.net>
2017-11-24 07:14:56 +00:00
..
2017-05-31 14:36:30 +02:00
2017-08-28 17:01:03 +10:00
2017-02-02 11:20:00 +11:00
2017-05-31 11:17:05 +07:00
2017-04-05 13:11:22 +10:00
2017-02-02 11:20:00 +11:00
2017-01-31 14:14:19 +11:00
2017-02-02 11:20:00 +11:00
2017-06-28 12:26:24 +10:00
2017-05-19 12:43:36 -07:00
2017-05-31 11:17:05 +07:00
2017-02-02 11:20:00 +11:00
2017-05-31 11:17:05 +07:00
2017-02-03 11:49:45 +11:00
2017-05-19 12:43:36 -07:00
2017-05-19 12:43:36 -07:00
2017-05-31 08:28:09 +10:00
2017-02-02 20:36:23 +11:00
2017-05-31 11:17:05 +07:00
2017-02-03 11:49:45 +11:00
2017-02-02 11:20:00 +11:00
2017-03-14 14:49:49 +11:00