diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 22:28:55 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-12 22:28:55 (GMT) |
commit | aa96b7897b40bf1171f08d77e229ec57b2c4119a (patch) | |
tree | d6be2cd9ab395ad031968c46d341881f8f3005e1 /web/input/doc/faq/ownership.md | |
parent | c394fa1575c28380e56d4f1e9883d88dfa7266cf (diff) | |
download | site-aa96b7897b40bf1171f08d77e229ec57b2c4119a.tar.gz |
Documentation: Denote command lines with "$"
Add a prompt sign to all command lines in code blocks.
Diffstat (limited to 'web/input/doc/faq/ownership.md')
-rw-r--r-- | web/input/doc/faq/ownership.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/input/doc/faq/ownership.md b/web/input/doc/faq/ownership.md index 58bc311..7fb8ca8 100644 --- a/web/input/doc/faq/ownership.md +++ b/web/input/doc/faq/ownership.md | |||
@@ -15,7 +15,7 @@ also installed with the install user's owner and group permissions. | |||
15 | 15 | ||
16 | If you run: | 16 | If you run: |
17 | 17 | ||
18 | make install-root | 18 | $ make install-root |
19 | 19 | ||
20 | This will set permissions to root, assuming you are either root or using | 20 | This will set permissions to root, assuming you are either root or using |
21 | fakeroot. If not, the setuid bit is still set, but the plugin may not work | 21 | fakeroot. If not, the setuid bit is still set, but the plugin may not work |