diff options
| -rw-r--r-- | share/doc/papers/devfs/paper.me | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/doc/papers/devfs/paper.me b/share/doc/papers/devfs/paper.me index 34ffd17..9b775e9 100644 --- a/share/doc/papers/devfs/paper.me +++ b/share/doc/papers/devfs/paper.me @@ -472,7 +472,7 @@ Unlikely. And what if we have persistent information about the mode of device ``/dev/sio0'', but we boot and do not find any sio devices? Do we keep the information in our device-persistence registry? -How long do we keep it? If I borrow a a modem card, +How long do we keep it? If I borrow a modem card, set the permissions to some non-standard value like 0666, and then attach some other serial device a year from now - do I want some old permissions changes to come back and haunt me, |
