Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Ceci est une ancienne révision du document !


Portail Système

Matériel

Logiciels

1. Linux

En une seule commande, copier les données de la partition (ici, /home) vers la nouvelle partition :

$ sudo rsync -avzh /mnt/home/ /mnt/hometmp/

Bien spécifier le “/” à la fin des deux dossiers home et hometmp

Les options conservent les permissions, les liens symboliques et autres attributs.

Quand la console redonne la main, vérifier que tout s'est bien copié par un ls et en regardant la taille des dossiers :

$ du -s /mnt/home
$ du -s /mnt/hometmp

2. Tous Windows

3. DVD utiles

4. Virtualisation

5. Installation de Java

Sous Windows

Sous Linux

Pour supprimer complètement OpenJDK et installer à neuf Java JDK d'Oracle :

Retirez complètement OpenJDK par la commande :

$ sudo apt-get purge openjdk-\

et installez java d'Oracle comme indiqué ci-dessus

Tutoriels

1. Tutoriels Linux

1.1. Utilisateurs et groupes

Créer un nouvel utilisateur : useradd
Syntaxe :
$sudo useradd [options] identifiant

Principales options
-d RÉP_PERSO
répertoire du nouvel utilisateur. Ne sera pas créé s'il n'existe pas.
-m
Crée le répertoire de l'utilisateur s'il n'existe pas.
-g GROUPE
groupe ou n° GID du groupe initial de l'utilisateur. Ce groupe doit exister.
-G GROUPE1[,GROUPE2,…[,GROUPEN]]]
Groupes supplémentaires auxquels appartient également l'utilisateur. Par défaut, l'utilisateur n'appartient qu'au groupe initial.
-s INTERPRÉTEUR
Interpréteur de commandes initial de l'utilisateur.
-u [UID]
valeur numérique (unique et positive) identifiant l'utilisateur.
si aucune valeur n'est fournie (sudo useradd -u), crée un groupe avec le même nom que celui de l'utilisateur, et ajoute l'utilisateur à ce groupe.
-D
affiche les options par défaut :

$ useradd -D
GROUP=100
HOME=/home
INACTIVE=-1
EXPIRE=
SHELL=/bin/sh
SKEL=/etc/skel
CREATE_MAIL_SPOOL=no

Définir le mot de passe d'un utilisateur : passwd

$ sudo passwd tintin

Créer un groupe : groupadd

$ sudo groupadd marketing

Ajouter ou retirer un utilisateur d'un groupe : gpasswd
  • Ajouter l'utilisateur milou au groupe marketing :

    $ sudo gpasswd -a milou marketing
    

  • Retirer l'utilisateur milou du groupe marketing :

    $ sudo gpasswd -d milou marketing
    

1.2. systemd

2. Expressions régulières

3. Création d'un support bootable

4. Dual-boot

5. Autres

Voir aussi


Basé sur « Article » par Auteur.