- Accueil
- TD 1: Rebonds inélastiques
- TD 2: Intégration Profils Aval.
- TD 3: Intégr. EDO Pendule
- TD 4: Ménisque liquide
- TD 5: Nbres aléat., Monte-Carlo
- Anciens TDs
Les commandes Shell
Les principales commandes UNIX sont résumées dans cet aide mémoire.
Les commandes pour le Shell UNIX sont souvent de la forme
commande -option1 -option2 -option3 parametre1 parametre2 ...
Voici une des commandes les plus simples:
ordi:~ > date <CR>
(Rappel: comme l'explique la charte
visuelle, la partie grasse représente le prompt du shell, vous
ne devez donc recopier litéralement que la commande date. Le
<CR> dénote la touche <Entrée>
qui envoie la commande)
La réponse doit ressembler à:
Fri Jan 20 05:33:52 CET 2006
ordi:~ >
Le prompt apparaît à la fin, et vous avez de nouveau la main.
Le manuel
Pour connaitre les commandes et leurs options, on peut utiliser le
manuel (commande man)
ordi:~ > man nom_de_la_commande <CR>
affiche les pages du manuel concernant la commande
nom_de_la_commande. Exemple:
ordi:~ > man date <CR>
pour connaitre la commande date. Il y a souvent
plusieurs pages pour une commande. Pour passer à la page suivante, on
utilise la touche <Espace>. Pour quitter l'aide, on
utilise la touche q (pour quit).
Pour savoir quelles commandes ont un rapport avec un mot clé, on a la commande
ordi:~ > apropos mot <CR>
qui donne la liste des commandes indexées sur le mot-clé
mot, avec un résumé de ce qu'elles font en une ligne.