Fichiers

7 posts
2022

Connecter un lecteur réseau en CLI

Qu’est-ce qu’un lecteur réseau ? Un lecteur réseau est une ressource distante sur laquelle se trouvent le plus souvent des …
Read more

Utilisation de grep

A quoi sert grep et egrep Il est parfois utile de rechercher des chaines de caractères dans un fichier ou même dans la sortie standard de …
Read more

Utilisation de curl et de wget

Pourquoi wget et curl Lorsque l’on travaille sur des serveurs, il est parfois nécessaire de télécharger un fichier. Ça peut être une …
Read more
2021

Calculer le hash d'un fichier

Qu’est-ce qu’un hash ? Un hash est une somme de contrôle qui peut, entre autres, servir à vérifier l’intégrité d’un …
Read more

Recherche de fichiers avec find

Rechercher un fichier avec find Pour chercher un fichier dans le file system de son serveur, il existe l’utilitaire “find” …
Read more

Compresser / décompresser un fichier en bash / CLI

Compresser un fichier en bash ou en CLI Pour gagner de la place ou pour regrouper de nombreux petits fichiers on peut utiliser …
Read more

Connexion à un partage administratif avec un compte admin local sur WS 2019

Suppression de la restriction de connexion Cause : Pour sauvegarder un serveur WS 2019 en DMZ et non connecté à un domaine Active Directory, …
Read more