diff options
| author | William Hubbs <williamh@gentoo.org> | 2012-05-02 14:48:52 -0500 |
|---|---|---|
| committer | William Hubbs <williamh@gentoo.org> | 2012-05-02 14:48:52 -0500 |
| commit | 9e196a71ad7f4e7a8ae51ab29e9b34c0af9a2595 (patch) | |
| tree | 64f35d7d2f6b39550c08a85ec7292c17019f60c1 /sh | |
| parent | ca7d67021e5b93e4d9af45ce13a05f76b4979f75 (diff) | |
clarify the message about /proc being already mounted
This message was being taken by some users as an error, so I have
removed the part about "skipping..." Hopefully this will make the
message less alarming.
Diffstat (limited to 'sh')
| -rw-r--r-- | sh/init.sh.Linux.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sh/init.sh.Linux.in b/sh/init.sh.Linux.in index f86c5f26..176dba7a 100644 --- a/sh/init.sh.Linux.in +++ b/sh/init.sh.Linux.in @@ -75,7 +75,7 @@ if [ -e $f ]; then if [ "$(VAR=a cat $f)" = "$(VAR=b cat $f)" ]; then eerror "You have cruft in /proc that should be deleted" else - einfo "/proc is already mounted, skipping" + einfo "/proc is already mounted" mountproc=false fi fi |