Difference between revisions of "Linux"
(→Manage your .bashrc) |
(→Convert Images) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 18: | Line 18: | ||
alias | alias | ||
</code> | </code> | ||
− | |||
Do not forget to source your .bashrc file. This is done automatically when opening a new terminal. | Do not forget to source your .bashrc file. This is done automatically when opening a new terminal. | ||
Line 46: | Line 45: | ||
<code> | <code> | ||
ssh-dss AAAAB3NzaC................................................................................. login@machine | ssh-dss AAAAB3NzaC................................................................................. login@machine | ||
+ | </code> | ||
+ | |||
+ | |||
+ | |||
+ | == Convert Images == | ||
+ | |||
+ | <code> | ||
+ | convert *.png video.gif | ||
+ | </code> | ||
+ | |||
+ | |||
+ | 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. | ||
+ | |||
+ | <code> | ||
+ | convert 000.png -crop 840x1188-160-600 000_crop.png | ||
</code> | </code> |
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