diff options
author | Miles Bader <miles@gnu.org> | 1996-07-24 19:23:58 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-07-24 19:23:58 +0000 |
commit | e00174ab23f13b0ed4c2e4910acdf32a1d01c389 (patch) | |
tree | 2d541f95fb6447340b2c7ed921448d8b682c66c4 | |
parent | dd2dcc56b1472d53771cf53f55561e3964210243 (diff) |
But do \ ` inside "s.
-rw-r--r-- | config/root-.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/root-.profile b/config/root-.profile index 526f06bf..c8bc40ba 100644 --- a/config/root-.profile +++ b/config/root-.profile @@ -12,5 +12,5 @@ if [ "$UHOME" -a -r "$UHOME/.root_profile" ]; then else PATH=/sbin:/bin:/local/bin export PATH - echo "Don't login as root; use `sush root'." + echo "Don't login as root; use \`sush root'." fi |