Questa pagina è per me per futura memoria, di come si naviga una shell con ssh, sperando che tenendo qua le cose un po' mi ricordi...

ssh (Secure Shell)

è un modo per connettere la tua shell dei comandi ad un computer remoto, con un protocollo criptografato. Dopo che hai inserito ssh [username] ti viene chiesta la password. Dopo di che sei dentro!

Comandi base

• ls: lista dei file nella cartella in cui sei.

Se vuoi che ti listi tutti i file con una certa estensione (ad esempio .txt) scrivi ls *.txt o se vuoi trovare file con più estensioni *.{txt, py, .root}

• cd [folder]: vai a una sottocartella rispetto alla cartella in cui sei.
• mkdir [name]: ti fa una cartella con il nome [name]
• rm [filename] rimuove il file con nome filename. Se è una cartella vuota devi usare invece rmdir [foldername]

Se non inserisci niente al posto di folder, ritorna nella cartella più alta possibile

Se usi cd .., ritorna alla cartella precedente

• ll ti dà i nomi dei files e le loro date di creazione; just like ls but fancier.
• pwd dove sono come percorso in questo momento.

Opzioni

Quando io eseguo un comando ci sono delle possibili opzioni, che completano il comando che io do.

• -r fai quest'azione ricorsivamente. Se devo ad esempio copiare una cartella che contiene più file questa cosa non è possibile farlo senza agigungere questa opzione (quindi cp -r cartella_originale cartella_destinazione)
• -a all. A volte in ls non si vedono cartelle/files nascosti. Con ls -a li vedi tutti
• -f forzatamente. Ad esempio se fai rm -r -f * rimuove tutti i file nella cartella, senza chiederti più niente. Magari fai un secondo attenzione prima di usare questo comando. There's no comeback.

Se vuoi indicare la cartella attuale come quella da indicare in un path basta un .

Comandi più avanzati

• Per capire il peso di una cartella, usa du -hs /path/to/directory.

Scp (Copiare con SSH)

Sei sul tuo dispositivo e vuoi copiare un file in remoto; in remoto, quando tu accedi hai un certo account (ad esempio lori) su un certo ip (esempio 111aaa.ru.it). Quindi se voglio copiare un certo file con un percorso generico remoto , verso un percorso generico locale basta (lo so è incredibile per quanto è facile)

scp [user]@[ip]:[path]\[filenameremoto] [pathlocale]

quindi nell'esempio di prima

scp [email protected]: Users\lori\altracartella\[filenameremoto] User\Desktop

Domanda: se quindi sei già andato con cd nella cartella giusta, qual è il comando giusto per copiare nella cartella? scp [email protected]: Users\lori\altracartella\[filenameremoto] . !

Comandi più tipici di KM3NeT

• squeue vedi i processi che sono in coda al momento
• scancel -u $USER cancella tutti i job in coda