Skip to content

Commit 2a0cedc

Browse files
committed
Use monospaced font for commands names
1 parent 6137949 commit 2a0cedc

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -89,15 +89,15 @@ 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...
99-
$ which git-shell # make sure git-shell is installed on your system.
100-
$ sudo -e /etc/shells # and add the path to git-shell from last command
98+
$ cat /etc/shells # see if `git-shell` is already in there. If not...
99+
$ which git-shell # make sure `git-shell` is installed on your system.
100+
$ sudo -e /etc/shells # and add the path to `git-shell` from last command
101101
----
102102

103103
Now you can edit the shell for a user using `chsh <username> -s <shell>`:

0 commit comments

Comments
 (0)