| Gestionnaire de fichiers - /usr/share/tuned/grub2/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2022-09-23 19:36:09 | ||||||
| .. | 2022-09-21 13:17:58 | ||||||
| 00_tuned | 1043 | 2019-03-21 22:10:46 | -rwxr-xr-x | Supprimer | Renommer | Télécharger | Presser .tar.gz |