ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2024-12-24 07:16:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update ATutIntroduction.md

Browse Source
This commit is contained in:
Scott Fennell 2022-05-26 14:30:29 -05:00 committed by GitHub
parent 2c17882e20
commit ccaa1df5b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
docs/tutorial/ATutIntroduction.md
View File

@ -74,8 +74,7 @@ you installed Trick in your home directory, and you used the default name for
the repository, which is **trick**. If you named it something different, then the repository, which is **trick**. If you named it something different, then
use that name instead in the scripts below. use that name instead in the scripts below.
If you are using **bash or ksh**, then add the following lines to the file that is automatically sourced by your terminal. Based on your platform this could be **.profile, .bash_profile, .bashrc, .zshrc** or others. Google "How to edit PATH variable" on google to find a wealth of information on this subject. If you are using **bash or ksh**, then add the following lines to the file that is automatically sourced by your terminal. Based on your platform this could be **.profile, .bash_profile, .bashrc, .zshrc** or others. Google "How to edit PATH variable" on google to find a wealth of information on this subject.
file.
```bash ```bash
export TRICK_HOME="${HOME}/trick" export TRICK_HOME="${HOME}/trick"