¿Cómo podemos saber que el archivo /home/hkr/Desktop/combinaciones.cpp pertenece a una partición específica?¿O cómo podemos saber en qué partición existe un archivo?
Para eso podemos usar el comando df, que informa del uso del espacio en disco del sistema incluyendo nombres de archivos y directorios. La sintaxis es así:
En el siguiente ejemplo se busca el nombre de la partición donde se encuentra el fichero llamado /home/hkr/Desktop/combinaciones.cpp
Que tiene como salida:
Como vemos, el resultado es que el archivo combinaciones.cpp pertenece a la partición /dev/sda6. Con el siguiente comando mostramos solo el nombre de la partición:
O con este otro:
La salida para los dos comandos anteriores es la misma:
Es recomendable colocar la siguiente función bash en nuestro archivo ~/.bashrc
Ejemplos de uso:
Para eso podemos usar el comando df, que informa del uso del espacio en disco del sistema incluyendo nombres de archivos y directorios. La sintaxis es así:
df
df /ruta/a un/directorio
df /ruta/a un/archivo
En el siguiente ejemplo se busca el nombre de la partición donde se encuentra el fichero llamado /home/hkr/Desktop/combinaciones.cpp
df -T /home/hkr/Desktop/combinaciones.cpp
Que tiene como salida:
Filesystem Type 1K-blocks Used Available Use% Mounted on
/dev/sda6 ext4 186362292 140452228 36443368 80% /home
Como vemos, el resultado es que el archivo combinaciones.cpp pertenece a la partición /dev/sda6. Con el siguiente comando mostramos solo el nombre de la partición:
df /home/hkr/Desktop/combinaciones.cpp | awk '/^/dev/ {print $1}'
O con este otro:
awk '/^/dev/ {print $1}' <<<"$(df /home/hkr/Desktop/combinaciones.cpp)"
La salida para los dos comandos anteriores es la misma:
/dev/sda6
Es recomendable colocar la siguiente función bash en nuestro archivo ~/.bashrc
# find partition name for a given filename
findpart() {
[ -e "$1" ] && df -P "$1" | awk '/^/dev/ {print $1}' || echo "$1 not found";
}
Ejemplos de uso:
findpart /foo/bar
findpart /etc
findpart /home/vivek/test.txt