Ceci est une ancienne révision du document !
Bash : Bourne-Again Shell
Bash est un shell, soit un interpréteur de ligne de commande : il permet de "discuter" avec l'ordinateur, en ligne de commande. Sur Ubuntu c'est le shell utilisé par défaut dans le terminal. Il est bien évidemment libre, sous licence GPL.
La plupart des scripts que vous verrez sur la documentation comporte un shebang #!/bin/bash, votre système utilisera donc Bash pour interpréter les commandes.
Bash n'est pas totalement compatible avec ZSH, un shell plus orienté pour l'interactivité avec l'utilisateur.
Introduction / Utilisation
Utilisation avancée
from PIL import Image, ImageFilter, ImageEnhance
import numpy as np
import math
from moviepy.editor import ImageSequenceClip
# PARAMÈTRES
SIZE = 1080
DURATION = 3 # secondes
FPS = 30
FRAMES = DURATION * FPS
logo = Image.open("logo.png").convert("RGBA")
logo = logo.resize1).
Avec gedit vous pouvez presser Ctrl+F pour rechercher dans le fichier.
Remplacer la première occurrence ou toutes occurrences par cela :
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\n\$ '
En supprimant \h (nom d'hôte) il n'y a plus le nom de votre ordinateur.
En ajoutant \n (saut de ligne) avant le dollar le curseur ira sur une nouvelle ligne.
Il y a beaucoup plus de personnalisation possible mais ne nous étalons pas.
~/.bash_aliases
Le fichier ~/.bash_aliases permet de séparer le script .bashrc des alias.
Vous pouvez y définir des variables qui seront chargées à chaque lancement de terminal.
~/.bash_history
~/.bash_history est le fichier consulté lorsqu'on utilise les flèches haut ↑ et bas ↓ pour rechercher une commande.
On peut afficher le contenu du fichier avec la commande
history
Pour rechercher plus rapidement, utilisez Ctrl+R dans le terminal puis entrez le texte recherché.
Utilisez plusieurs fois Ctrl+R et non pas les flèches pour retrouver les commandes qui correspondent.
~/.profile
Comme indiqué dans le fichier ~/.profile, celui-ci n'est lu que si ~/.bash_profile ou ~/.bash_login n'existe pas.
Il est interprété à chaque connexion de l'utilisateur (au démarrage de la session), contrairement à ~/.bashrc qui est interprété à chaque lancement de Bash (à chaque ouverture d'un onglet du terminal par ex.).
Il permet entre autre de définir de nouveaux chemins pour la variable d'environnement $PATH.
Voir aussi