diff options
| -rw-r--r-- | doc/guix.texi | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index dccc1fc9f76..99cef6fce3c 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -6847,10 +6847,11 @@ guix shell --pure --preserve=^SLURM -E OMP_NUM_THREADS=16 openmpi @dots{} \ | |||
| 6847 | -- mpirun @dots{} | 6847 | -- mpirun @dots{} |
| 6848 | @end example | 6848 | @end example |
| 6849 | 6849 | ||
| 6850 | This example runs @command{mpirun} in a context where the only environment | 6850 | This example runs @command{mpirun} in a context where the only |
| 6851 | variables defined are @env{PATH}, environment variables whose name starts | 6851 | environment variables defined are @env{PATH}, environment variables |
| 6852 | with @samp{SLURM}, variable @env{TERM} set to @samp{no=color}, as well as | 6852 | whose name starts with @samp{SLURM}, variable @env{OMP_NUM_THREADS} set |
| 6853 | the usual ``precious'' variables (@env{HOME}, @env{USER}, etc.). | 6853 | to @samp{16}, as well as the usual ``precious'' variables (@env{HOME}, |
| 6854 | @env{USER}, etc.). | ||
| 6854 | 6855 | ||
| 6855 | @item --search-paths | 6856 | @item --search-paths |
| 6856 | Display the environment variable definitions that make up the | 6857 | Display the environment variable definitions that make up the |