[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: mais ou est passee la place manquante ?



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 message auquel Hamster répondait se contente d'extraire le périphérique contenant /home, sans vérifier le point de montage. Je le remets :

	#!/bin/bash
	set -e
	homedevice="$(
		df /home \
		| grep -v '^Filesystem' \
		| cut -f1 -d' '
	)"
	tune2fs -m 0 "$homedevice"

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.


Reply to: