Useful commands on Linux¶
Git¶
clone: git clone <repo address.git>
create a new branch: git checkout -b <new_branch>
add a remote repository: git remote add <remote name> <remote address>
merge modification: git pull <remote name> <remote branch>
add modified files: git add <files or folder>
commit added files: git commit -m “commit message”
push modifications to the remote repository: git push
remove all current modifications: git reset –hard
show modified filed: git status
Retrieve information about the CPU¶
cat /proc/cpuinfo
lscpu
Retrieve information about the GPU¶
nvidia-smi