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 | |
parent | 22d3b5a9e9ce78947bcf70fc970301708df0b7e4 (diff) |
doc: Use POSIX syntax to source file
Avoids bashism in case another shell is active.
Diffstat (limited to 'doc')
-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} |