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.112mkdir HPC
(or
any directory name you like)cd HPCgit 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.gitcd WS13Checking out via web GUI:
https://143.50.47.112:8443
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 pullgit push