ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2024-12-19 21:27:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

use default repo name in tutorial introduction

Browse Source 
Novice linux/trick users don't catch that "trick" and "trick.git" are incompatible, because they don't understand that the file extension is a part of the directory name. For this reason they frequently leave the ".git" in their shell environment and they get stuck there for a while. While it is important that trick users have an understanding of how their shell uses the PATH variable, I do not think this little section at the bottom of the intro should have to be debugged so frequently.
This commit is contained in:
Scott Fennell 2021-08-13 10:32:07 -05:00 committed by GitHub
parent f6ce855683
commit dbafed34b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/tutorial/ATutIntroduction.md
View File

@ -70,22 +70,22 @@ first, by following the directions at: [Install Guide](/trick/documentation/inst
Once Trick is installed on your machine, you will need add the Trick **bin**
directory to your execution path. For the sake of example, let us assume that
you installed Trick in your home directory, and you named your Trick directory
**trick.git**. If you named it something different, then use that name instead
in the scripts below.
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
use that name instead in the scripts below.
If you are using **bash**, then add the following lines to your **.profile**
file.
```bash
export TRICK_HOME="${HOME}/trick.git"
export TRICK_HOME="${HOME}/trick"
export PATH=${PATH}:${TRICK_HOME}/bin
```
If you are using **csh** or **tcsh**, then add the following lines to your **.cshrc** file.
```csh
setenv TRICK_HOME ${HOME}/trick.git
setenv TRICK_HOME ${HOME}/trick
setenv PATH ${PATH}:${TRICK_HOME}/bin
```