Docker tips and DGX

First Time (for DGX server)

1. Login to the server via ssh
2. Copy the following to the end of your .bashrc file for easy navigation:

export RAID_HOME=/raid0/docker-raid/${USER}  
export COVERAGECONTROL_WS=${RAID_HOME}/CoverageControl_ws  
export LD_LIBRARY_PATH="${COVERAGECONTROL_WS}/install/lib/:${LD_LIBRARY_PATH}"  

3. Logout and login again
4. Go to your raid0 directory:
   cd ${RAID_HOME}
5. Follow Installation for Docker
6. You can exit the container with ctrl+d

Run Docker and GNN

1. Login to the server via ssh
2. tmux # or screen
3. docker start gnn-$USER # starts stopped docker
4. docker exec -it gnn-$USER bash # execute bash inside docker
5. Execute your scripts python <script.py>
6. ctrl+b + d to detach on tmux
7. tmux attach to reattach on tmux