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.
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.
La page que j’avais consacrée à Linux Mint 18.1. Cette distribution me semble un bon choix pour un poste d’utilisateur.
Vous trouverez ici un lien vers un PDF avec des notes sur la ligne de commande Linux. À vous de le faire évoluer.
Archives
Anciens tutoriels.
Une archive conservée à titre d’information à faire évoluer. L’installation de logiciels avec Ubuntu 12.04 LTS.
Archives – Installation de logiciels Ubuntu 12.04 LTS
Les articles
Éditeur de texte dans le terminal pour modifier des fichiers de configuration ou des scripts Shell.
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.
Retrouvez plus d’informations concernant Linux sur le WEB :
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 :
CHMOD Command Calculator est le moyen le plus simple pour gérer les droits sur des fichiers ou des répertoires :
Dominique Renaudeau
Artheodoc 