diff options
| author | Victor Engmark <victor@engmark.name> | 2022-11-29 19:22:27 +1300 |
|---|---|---|
| committer | Yt <happysalada@proton.me> | 2022-11-29 08:39:37 -0500 |
| commit | 9cf0ee43e72dec65365ffa2e2c2da4cb2ebc3b5d (patch) | |
| tree | eb499b5306b6cc5dd186924311006fd6d388c416 /doc/using | |
| parent | 22d3b5a9e9ce78947bcf70fc970301708df0b7e4 (diff) | |
doc: Use POSIX syntax to source file
Avoids bashism in case another shell is active.
Diffstat (limited to 'doc/using')
| -rw-r--r-- | doc/using/configuration.chapter.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/using/configuration.chapter.md b/doc/using/configuration.chapter.md index 1bf18eab5710d..0391af0f1760b 100644 --- a/doc/using/configuration.chapter.md +++ b/doc/using/configuration.chapter.md @@ -319,7 +319,7 @@ if [ -d "${HOME}/.nix-profile/etc/profile.d" ]; then fi ``` -Now just run `source "${HOME}/.profile"` and you can start loading man pages from your environment. +Now just run `. "${HOME}/.profile"` and you can start loading man pages from your environment. ### GNU info setup {#sec-gnu-info-setup} |