143.50.47.112
for the very
first time:
git config --global http.sslVerify false
(placed in the file ~/.bashrc
==> command is executed for each new bash/xterm)ssh my
_user_name@
143.50.47.112
mkdir HPC
(or
any directory name you like)cd HPC
git config --global http.sslVerify false
(placed in the file ~/.bashrc
==> command is executed for each new bash/xterm)git clone https://143.50.47.112:8443/git/lectures/hpc/WS13.git
cd WS13
Checking out via web GUI:
https://143.50.47.112:844
3
and log in.Adding files/directories:
git add <files|directories>
git commit -a
(--> local repository)git push
(--> global repository)Downloading changed files from repository:
git pull
(<-- global repository)Uploading changed files to global repository
git commit -a
(--> local repository)git push
(--> global repository)git pull
git push