diff --git a/2025-10-30.md b/2025-10-30.md index fac5bbf..80e7f35 100644 --- a/2025-10-30.md +++ b/2025-10-30.md @@ -40,6 +40,7 @@ $_= c'est une variable, argument de la commande précédent . = postition actuel ">" = rediriger diff = liste la difference entre deux fichiers +grep = chercher ce qu'on veut echo= peut être utilisé pour écrire dans un fichier, echo "contenu" > "fichier" ">>" écrit à la suite du fichier, ">" écrit de nouveau sur le fichier, supprime le contenu existant. @@ -58,7 +59,7 @@ git remote -v = -v sort des infos ## Création user system sudo adduser --system --no-create-home --group grabber - +sudo usermod -a -G "groupe" "utilisateur" ## Permissions, droits de fichiers @@ -82,6 +83,14 @@ sudo chmod 760 "fichier" bin 000 001 010 011 100 101 110 111 decimal 1 2 3 4... +## INSTALLATION +APT = Advance package tool /etc/apt/ sources.list +.deb = package directement installé +dpkg = debian package -APT = Advance package tool +## Processus +top htop btop équivalent gestionnaire des tâches +kill -9 PID +ps -ax +ps -ax | grep ping