Ubuntu-fr

jdacier

[RéSOLU] Comment changer les Permissions ?

Bonjour

J'ai téléchargé un fichier point rar.

J'ai extrait les fichiers qui étaient dedans, mais les fichiers sont en accès "Lecture seule" (pour le
Propriétaire, le Groupe, les Autres).

Je voudrais créer un script pour modifier les permissions de tous les fichiers d'un dossier, mais je ne connaît pas la syntaxe.

Pour ce qui est de faire un distinguo entre les accès du Propriétaire, du Groupe ou des Autres, ce n'est pas un problème, j'ai la doc sur CHMOD, j'adapterais le script.

A+

Dernière modification par jdacier (Le 31/07/2014, à 10:32)

pingouinux

Re : [RéSOLU] Comment changer les Permissions ?

Bonjour,

cd /chemin_vers_le_dossier || exit 1
chmod u+w * # Autorisation d'écriture au propriétaire
chmod g+w * # Autorisation d'écriture au groupe
chmod o+w * # Autorisation d'écriture aux autres
chmod +w * # Autorisation d'écriture à tous

Édité : Ajout de exit après la commande cd, pour arrêter le script si cette dernière échoue (pour éviter de changer des permissions n'importe où)

Dernière modification par pingouinux (Le 28/07/2014, à 12:30)

jdacier

Re : [RéSOLU] Comment changer les Permissions ?

Bonjour

ça marche mais je voudrais faire un script du genre,

#!/bin/bash
mogrify -format jpg *.png

cela serait plus pratique

pingouinux

Re : [RéSOLU] Comment changer les Permissions ?

Je suppose que les questions en #1 et #3 n'ont aucun rapport…

Ton script en #3 va, dans le répertoire d'où il est lancé, convertir les fichiers .png en fichiers .jpg (en conservant les originaux, car l'extension est modifiée).

jdacier

Re : [RéSOLU] Comment changer les Permissions ?

Les questions en #1 et #3 n'ont effectivement aucun rapport.

Ce qui m'intéressait, c'était le problème des permissions.

Le script marche

Dernière modification par jdacier (Le 31/07/2014, à 10:31)