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:

  1. ssh key generation
    $ ssh-keygen -t rsa -b 4096 -C "your_email@example.com"
    
  2. 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

Get real-time of GPU usage:

$ 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.