Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
tutoriel:script_shell [Le 12/06/2020, 13:28]
bcag2 [Méthode dans un terminal]
tutoriel:script_shell [Le 25/06/2020, 08:20]
193.250.203.109 ancienne révision (Le 07/10/2019, 14:40) restaurée
Ligne 4: Ligne 4:
 ====== Introduction aux scripts shell ====== ====== Introduction aux scripts shell ======
  
-Un script ​s+Un script ​shell permet d'​automatiser une série d'​opérations. Il se présente sous la forme d'un fichier contenant une ou plusieurs commandes qui  seront exécutées de manière séquentielle.  
 +<​code>​ 
 +#​!/​bin/​bash 
 +# This script will take an animated GIF and delete every other frame 
 +# Accepts two parameters: input file and output file 
 +# Usage: ./<​scriptfilename>​ input.gif output.gif 
 # Make a copy of the file # Make a copy of the file
 cp $1 $2 cp $1 $2
Ligne 26: Ligne 32:
 =====Pour faire qu'un script soit exécutable ===== =====Pour faire qu'un script soit exécutable =====
  
-H==== Méthode graphique ====+==== Méthode graphique ====
  
 Votre script est un simple fichier texte, par défaut il s'​ouvre donc avec l'​éditeur de texte défini par défaut (ex : [[:​gedit|Gedit]] dans une session Unity ou Gnome).\\ Votre script est un simple fichier texte, par défaut il s'​ouvre donc avec l'​éditeur de texte défini par défaut (ex : [[:​gedit|Gedit]] dans une session Unity ou Gnome).\\
Ligne 63: Ligne 69:
 Cette commande chez moi donnait initialement : Cette commande chez moi donnait initialement :
   /​usr/​local/​bin:/​usr/​bin:/​bin:/​usr/​bin/​X11:/​usr/​games   /​usr/​local/​bin:/​usr/​bin:/​bin:/​usr/​bin/​X11:/​usr/​games
-ntion, ce répertoire s'​appelle **bin** et se place dans votre répertoire personnel. Si votre répertoire personnel est /home/toto, ce répertoire sera donc **/​home/​toto/​bin**.+ 
 +C'est à dire que le shell va aller voir si la définition de la commande tapée ("​ls"​ pour continuer sur le même exemple) se trouve dans **/​usr/​local/​bin** puis dans **/​usr/​bin**... jusqu'​à ce qu'il la trouve. 
 + 
 +Ajouter un répertoire au PATH peut donc être très pratique. Par convention, ce répertoire s'​appelle **bin** et se place dans votre répertoire personnel. Si votre répertoire personnel est /home/toto, ce répertoire sera donc **/​home/​toto/​bin**.
 Pour pouvoir utiliser mes scripts en tapant directement leur nom (sans le "​./"​) depuis n'​importe quel répertoire de mon ordinateur, il me suffit d'​indiquer au shell de chercher aussi dans ce nouveau dossier en l'​ajoutant au PATH. Pour pouvoir utiliser mes scripts en tapant directement leur nom (sans le "​./"​) depuis n'​importe quel répertoire de mon ordinateur, il me suffit d'​indiquer au shell de chercher aussi dans ce nouveau dossier en l'​ajoutant au PATH.
 Pour ceci, il suffit de faire : Pour ceci, il suffit de faire :
  • tutoriel/script_shell.txt
  • Dernière modification: Le 05/10/2020, 15:23
  • par bcag2