Update environment-set-up.md

This commit is contained in:
Antreas Antoniou 2018-09-25 15:47:45 +01:00 committed by GitHub
parent 845ba07cd2
commit 06a753bc99
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -383,8 +383,8 @@ You will then be asked whether to prepend the Miniconda binaries directory to th
Append the Miniconda binaries directory to `PATH` in manually in `~/.benv`: Append the Miniconda binaries directory to `PATH` in manually in `~/.benv`:
``` ```
echo ". /afs/inf.ed.ac.uk/user/s14/s1473470/miniconda3/etc/profile.d/conda.sh" >> ~/.bashrc echo ". /afs/inf.ed.ac.uk/user/${USER:0:3}/$USER/miniconda3/etc/profile.d/conda.sh" >> ~/.bashrc
echo ". /afs/inf.ed.ac.uk/user/s14/s1473470/miniconda3/etc/profile.d/conda.sh" >> ~/.benv echo ". /afs/inf.ed.ac.uk/user/${USER:0:3}/$USER/miniconda3/etc/profile.d/conda.sh" >> ~/.benv
``` ```
`source` the updated `~/.benv`: `source` the updated `~/.benv`: