Skip to content

Commit dba66ec

Browse files
authored
Use monospaced font for commands names (#1359)
Use monospaced font for commands names
2 parents e84a12c + 6b985a0 commit dba66ec

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

book/04-git-server/sections/setting-up-server.asc

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -89,13 +89,13 @@ You should note that currently all these users can also log into the server and
8989
If you want to restrict that, you will have to change the shell to something else in the `/etc/passwd` file.
9090

9191
You can easily restrict the `git` user account to only Git-related activities with a limited shell tool called `git-shell` that comes with Git.
92-
If you set this as the `git` user account's login shell, then that account can't have normal shell access to your server.
93-
To use this, specify `git-shell` instead of bash or csh for that account's login shell.
92+
If you set this as the `git` user account's login shell, then that account can't have normal shell access to your server.
93+
To use this, specify `git-shell` instead of `bash` or `csh` for that account's login shell.
9494
To do so, you must first add the full pathname of the `git-shell` command to `/etc/shells` if it's not already there:
9595

9696
[source,console]
9797
----
98-
$ cat /etc/shells # see if `git-shell` is already in there. If not...
98+
$ cat /etc/shells # see if git-shell is already in there. If not...
9999
$ which git-shell # make sure git-shell is installed on your system.
100100
$ sudo -e /etc/shells # and add the path to git-shell from last command
101101
----

0 commit comments

Comments
 (0)