Linux

Logos de Gnu et Linux

Les rubriques

Le Shell Linux qui vous permet d’utiliser des lignes de commande depuis un terminal. Vous pouvez également réaliser des scripts Shell. Vous trouverez mes notes dans la rubrique suivante.

Le shell

Les fichiers systèmes que je modifie ou consulte le plus fréquemment.

Quelques fichiers systèmes sous Linux

Debian est une distribution GNU/Linux intéressante, car très stable. Je l’utilise pour des installations de serveurs WEB. Raspberry Pi OS (pour Raspberry Pi) précédemment appelé Raspbian est basé sur Debian. Ma page consacrée à Debian 7 est une archive.

Debian 9

Debian 7

La page que j’avais consacrée à Linux Mint 18.1. Cette distribution me semble un bon choix pour un poste d’utilisateur.

Linux Mint 18.1

Une archive conservée à titre d’information à faire évoluer. L’installation de logiciels avec Ubuntu 12.04 LTS.

Installation de logiciels

Vous trouverez ici un lien vers un PDF avec des notes sur la ligne de commande Linux. À vous de le faire évoluer.

La ligne de commande


Les articles

Éditeur de texte dans le terminal pour modifier des fichiers de configuration ou des scripts Shell.

L’éditeur de texte Nano


Emmabuntüs

Le site d’Emmabuntüs une distribution GNU/Linux conçue pour faciliter le reconditionnement des ordinateurs donnés aux associations humanitaires, en particulier aux communautés Emmaüs.

https://emmabuntus.org/


Retrouvez plus d’informations concernant Linux sur le WEB :

Linux sur le net

ExplainShell est un outil d’analyse de commandes Linux qui affiche les documentations des fonctions utilisées. Accessible en ligne depuis le site qui suit :

http://explainshell.com/

CHMOD Command Calculator est le moyen le plus simple pour gérer les droits sur des fichiers ou des répertoires :

https://chmodcommand.com/


Dominique Renaudeau

Votre commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l’aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google

Vous commentez à l’aide de votre compte Google. Déconnexion /  Changer )

Image Twitter

Vous commentez à l’aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l’aide de votre compte Facebook. Déconnexion /  Changer )

Connexion à %s