Useful commands
Table of Content:
System Configuration
Connecting Github with SSH
To use the ssh secure protocol to access the git repository, you need to generate the ssh keypair on the local computer and add the public key to the github account. There are two steps:
- ssh key generation
$ ssh-keygen -t rsa -b 4096 -C "your_email@example.com"
- add ssh to github
$ pbcopy < ~/.ssh/id_rsa.pub # Copies the contents of the id_rsa.pub file to your clipboard
then paste the key in github/setting/ssh and GPG keys.
System Monitoring
GPU monitoring
$ watch -n0.1 nvidia-smi #refresh every 0.1 Sec
Pdf Processing
Crop the white space for pdf figure
Easiest way to do is using the pdfcrop:
pdfcrop input.pdf output.pdf
Another available one could be found at this post.
Embed font for IEEE express format check
For the camera ready version, IEEE normally request the format check, where the font embedding is the most common error you may encount. The following commands will do the job.
$ pdftops yourfile.pdf
$ ps2pdf14 -dPDFSETTINGS=/prepress yourfile.pdf yourfile-output.pdf
Image resize
A online tool for image resize and format conversion.