Difference between revisions of "Linux"

Latest revision as of 16:07, 16 March 2016

Run on multi-procs

  mpirun -np 12 main

  mpirun -np 12 main <log &

Manage your .bashrc

  export 

  alias 

Do not forget to source your .bashrc file. This is done automatically when opening a new terminal.

  source .bashrc

SSH keys

You should first go to your personal repository and generate a new key if there is no id_dsa.pub file in the .ssh directory.

  cd
  ssh-keygen -t dsa

You should get the following message,

  Generating public/private dsa key pair
  Enter file in which to save the key (/home/login/.ssh/id_dsa):

Just press enter. You must then copy the public key that you will find in .ssh/id_dsa.pub to the file .ssh/authorized_keys of the distant host you want to give access to. This public key should have the following format.

  ssh-dss AAAAB3NzaC................................................................................. login@machine   

Convert Images

  convert *.png video.gif

Make sure to specify the correct dimension for the image (here 840x1188). -160 means the image is to remove 160 units from the right part of the image. (+160 for the left part). -600 means the reduction will be of 600 units from the bottom of the image.

  convert 000.png -crop 840x1188-160-600 000_crop.png