Skip to content

Commit

Permalink
easier script for adding soft link
Browse files Browse the repository at this point in the history
  • Loading branch information
Geert van Geest committed May 17, 2022
1 parent 185be9a commit 9ed0521
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions docs/group_work.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,9 @@ In the afternoon of day 1, you will start on the project. On day 3, you can work
Each group has access to a shared working directory. It is mounted in the root directory (`/`). Make a soft link in your home directory:

```sh
cd ~
ln -s /group_work/<group name> ./
cd ~/workdir
ln -s /group_work/GROUP_NAME/ ./
# replace [GROUP_NAME] with your group directory
```

Now you can find your group directory at `~/<group name>`. Use this to share files.
Expand Down

0 comments on commit 9ed0521

Please sign in to comment.