Le 09/10/2019 à 13:58, hamster a écrit :
J'en arrive donc a cette version
Fais gaffe quand meme, je l'ai comme ca sans tester, et ne te sens pas
oblige de prendre mes facons de faire des scripts si tu preferes la
tienne hein ;-)
--
Cordialement, Stephane Ascoet
Le 09/10/2019 à 14:01, hamster a écrit :
Et la aussi ne pas oublier les espaces autour de /home.
Oui, j'etais reparti d'un vieux courriel pour la citation du code et
j'ai oublie de les remettre :-p
Merci de cette astuce, que je note soigneusement dans un coin mais que
je n'utilise pas.
Le 09/10/2019 à 10:37, Alexandre Goethals a écrit :
> Bonjour,
>
> c'est presque HS, mais pour l'élégance, je me permets de faire remarquer
> que awk est capable de 'matcher' un motif dans un fichier, tout comme
> grep, ce qui évite d'avoir à envoyer la sortie de grep dans une commande
> cut.
>
>
Le 09/10/2019 à 10:19, Stephane Ascoet a écrit :
> Le 07/08/2019 à 20:23, Pascal Hambourg a écrit :
>> C'est mieux, et probablement suffisant. Pour provoquer un faux positif
>> il faudrait un chemin contenant des espaces, ce qui n'est pas courant.
>
> Bonjour, et le test n'est-il pas inverse? Moi
Bonjour,
c'est presque HS, mais pour l'élégance, je me permets de faire remarquer
que awk est capable de 'matcher' un motif dans un fichier, tout comme
grep, ce qui évite d'avoir à envoyer la sortie de grep dans une commande
cut.
grep "/home" /etc/mtab | cut -d" " -f3
peut donc s'écrire :
awk
Le 07/08/2019 à 20:23, Pascal Hambourg a écrit :
C'est mieux, et probablement suffisant. Pour provoquer un faux positif
il faudrait un chemin contenant des espaces, ce qui n'est pas courant.
Bonjour, et le test n'est-il pas inverse? Moi je comprends que si on
obtient "ext?", on sort du
Le 07/08/2019 à 00:17, hamster a écrit :
Pascal Hambourg a écrit :
Le 06/08/2019 Ã 12:48, hamster a écrit :
if [[ "$(grep "/home" /etc/mtab | cut -d" " -f3)" = "ext?" ]]
Cette expression n'est pas assez sélective. Elle prend en compte
n'importe quel montage contenant "/home" dans le point
Pascal Hambourg a écrit :
> Le 06/08/2019 Ã 12:48, hamster a écrit :
>>
>> if [[ "$(grep "/home" /etc/mtab | cut -d" " -f3)" = "ext?" ]]
>
> Cette expression n'est pas assez sélective. Elle prend en compte
> n'importe quel montage contenant "/home" dans le point de montage
> (/home/data) ou le
Le 06/08/2019 à 12:48, hamster a écrit :
if [[ "$(grep "/home" /etc/mtab | cut -d" " -f3)" = "ext?" ]]
Cette expression n'est pas assez sélective. Elle prend en compte
n'importe quel montage contenant "/home" dans le point de montage
(/home/data) ou le périphérique (/dev/vg/home).
Le 06/04/2019 à 10:40, Pascal Hambourg a écrit :
>> Ceci étant, quand on a des liens symboliques, c'est un peu
>> dommage de ne pas s'en servir, il est tout à fait possible
>> d'appliquer le `tune2fs` directement sur le disque par UUID. Le
>> système se charge de résoudre le lien symbolique vers
Pascal Hambourg, au 2019-04-09 :
> Au passage, la méthode pour écarter la ligne d'en-têtes n'est
> pas fiable car elle dépend de la langue d'affichage. Il aurait
> mieux valu utiliser tail pour extraire la dernière ligne.
Oui, une autre solution aurait pu aussi consister à s'en tenir à
la locale
Le 09/04/2019 à 17:04, Stephane Ascoet a écrit :
Hamster:
utiliser la sortie de df risque de faire agir sur / comme tu l'a si bien
dit.
Non, si /home n'est pas un point de montage, il n'a pas de raison
d'apparaitre en sortie de df.
De l'aveu même de son auteur, le script fourni dans le
On Tuesday 09 April 2019 17:04:34 Stephane Ascoet wrote:
> Le 04/04/2019 à 20:30, ajh-valmer a écrit :
> > M$-Windows : Il faut tout réinstaller (maudit copyright).
> ce n'est pas qu'une question de copyright, mais aussi de
> conception merdique. Meme un deplacement a l'identique du dossier d'un
Le 04/04/2019 à 20:30, ajh-valmer a écrit :
Il faut tout réinstaller (maudit copyright).
Bonjour, ce n'est pas qu'une question de copyright, mais aussi de
conception merdique. Meme un deplacement a l'identique du dossier d'un
utilisateur d'un ordinateur a l'autre ne fonctionne pas... alors
Pascal Hambourg, au 2019-04-06 :
> Le 04/04/2019 à 23:21, Étienne Mollier a écrit :
> > Mais finalement, peut-être qu'on pourrait directement utiliser
> > le fichier bloc stockant /home tel que rapporté par la commande
> > `df`, plutôt que d'aller voir dans le fichier fstab, si
> > d'aventure il
Le 06/04/2019 à 10:40, Pascal Hambourg a écrit :
Encore plus simple : comme mount, tune2fs accepte directement la syntaxe
UUID= ou LABEL= à la place du nom de périphérique.
Il fallait bien sûr lire "LABEL=". Attention aux espaces dans
l'étiquette qui sont échappés dans /etc/fstab, à éviter
Le 04/04/2019 à 23:21, Étienne Mollier a écrit :
hamster, au 2019-04-04 :
#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
(...)
Ceci étant,
Bonjour,
Le jeudi 04 avril 2019 à 23:50, hamster a écrit :
> Le 04/04/2019 à 23:21, Étienne Mollier a écrit :
> > Pour aller plus loin, l'Advanced Bash Scripting guide est pour
> > moi un incontournable :
> >
> > http://www.tldp.org/LDP/abs/html/index.html
>
> Je note le lien. J'ai déjà fait
Le 04/04/2019 à 23:21, Étienne Mollier a écrit :
> Vous l'avez demandé ; vous l'aurez. :)
Merci beaucoup. C'est exactement le genre de commentaires qui me
permettent de progresser.
> Ensuite, j'aurais un peu ventilé pour éclaircir le propos, par
> exemple comme suit :
> […]
> Cette manière de
hamster, au 2019-04-04 :
> #!/bin/bash
>
> homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
> -d" " -f1);
> homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
> tune2fs -m 0 /dev/$homedevice;
>
> Vu que je suis assez débutant en scripts, je veux bien le
Le 04/04/2019 à 20:30, ajh-valmer a écrit :
> On Thursday 04 April 2019 19:58:05 Pascal Hambourg wrote:
>> Partman, le programme pour partitionner les disques de l'installateur
>> Debian, permet d'ajuster le pourcentage de blocs réservés lors de
>> l'initialisation du système de fichiers.
>
On Thursday 04 April 2019 19:58:05 Pascal Hambourg wrote:
> Partman, le programme pour partitionner les disques de l'installateur
> Debian, permet d'ajuster le pourcentage de blocs réservés lors de
> l'initialisation du système de fichiers.
gparted aussi le fait très bien.
Avant d'installer
Le 04/04/2019 à 19:58, Pascal Hambourg a écrit :
>> Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai >>
>> systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche >>
/home. > > Partman, le programme pour partitionner les disques de
l'installateur > Debian, permet d'ajuster
Le 04/04/2019 à 00:41, hamster a écrit :
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :
Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :
> Le 03/04/2019 à 19:44, Eric Degenetais a écrit :
>>
>> Je parlais d'espace réservé au *compte* root. J'avais cru comprendre
>> qu'une
>> partie de l'espace sur chaque partition est réservé à root pour qu'il
>> puisse travailler même sur une
Oui oui il y a 5% réservé à l’utilisateur root sur chaque partition.
> Le 3 avr. 2019 à 19:44, Eric Degenetais a écrit :
>
> Le mer. 3 avr. 2019 18:23, hamster a écrit :
>> Le 03/04/2019 à 17:44, Eric Degenetais a écrit :
>> > > J'ai installé en faisant une swap de 4 Go, une partition root
Le 03/04/2019 à 19:44, Eric Degenetais a écrit :
Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal comprendre...
Non, tu as bien
Le mer. 3 avr. 2019 18:23, hamster a écrit :
> Le 03/04/2019 à 17:44, Eric Degenetais a écrit :
> > > J'ai installé en faisant une swap de 4 Go, une partition root de 20
> > > Go
> > > et une partition /home a laquelle j'ai donné tout le reste de la
> > > place.
> > >
> >
On Wednesday 03 April 2019 18:58:30 hamster wrote:
> >> dh -hi
> >> /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home
> > dh -hi
> > dh: cannot read debian/control: No such file or directory
> Bah oui, faute de frappe. C'etait bien sur df -hi.
> Mon doigt a glissé et comme le h
Le 03/04/2019 à 18:49, ajh-valmer a écrit :
> On Wednesday 03 April 2019 18:20:58 hamster wrote:
>> dh -hi
>> /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home
> dh -hi
> dh: cannot read debian/control: No such file or directory
Bah oui, faute de frappe. C'etait bien sur df -hi.
On Wednesday 03 April 2019 18:20:58 hamster wrote:
> dh -hi
> /dev/sda3 ext4 Inoeuds 36M Iutil. 109K Ilibre 36M 1% /home
dh -hi
dh: cannot read debian/control: No such file or directory
Le 03/04/2019 à 17:44, Eric Degenetais a écrit :
> > J'ai installé en faisant une swap de 4 Go, une partition root de 20
> > Go
> > et une partition /home a laquelle j'ai donné tout le reste de la
> > place.
> >
> > Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap -
Le 03/04/2019 à 16:16, Bernard Schoenacker a écrit :
>
> - Mail original -
>> De: "hamster"
>> À: debian-user-french@lists.debian.org
>> Envoyé: Mercredi 3 Avril 2019 16:11:03
>> Objet: mais ou est passee la place manquante ?
>>
>> Sal
Le mer. 3 avr. 2019 à 16:16, Bernard Schoenacker <
bernard.schoenac...@free.fr> a écrit :
>
>
> - Mail original -
> > De: "hamster"
> > À: debian-user-french@lists.debian.org
> > Envoyé: Mercredi 3 Avril 2019 16:11:03
> > Objet: mais
- Mail original -
> De: "hamster"
> À: debian-user-french@lists.debian.org
> Envoyé: Mercredi 3 Avril 2019 16:11:03
> Objet: mais ou est passee la place manquante ?
>
> Salut a tous.
>
> Je suis en train d'installer debian sur un ordi qui avait
Salut a tous.
Je suis en train d'installer debian sur un ordi qui avait précedamment
windows 7. Avant d'installer j'ai fait un tour dans windows pour voir
les données que j'allais devoir récupérér. Il y avait une partition C:
avec le système et quelques données, sur laquelle il restait 5 Go de
36 matches
Mail list logo