I file manager forniscono una GUI o una CLI per l'interfacciamento con il file system. Questo tag può essere utilizzato anche per operazioni con file, come copia, duplicazione, ridenominazione, ecc.
Esiste un comando per aggiornare le icone del desktop (esattamente come fa il pulsante F5)? Ne ho bisogno perché nelle applicazioni di avvio ho impostato un comando per montare la mia partizione di backup e ho creato un collegamento desktop ad alcune directory lì. Il problema è che le icone …
Come posso cambiare il colore dei caratteri dei nomi delle cartelle nel pulsante della barra degli strumenti nel file manager di Nemo? Poiché preferisco fortemente il tema Ambiance, voglio mantenerlo, ma rovina il tema di Nemo, che è il mio file manager preferito, come mostrato. Come posso modificare in modo …
Per vari motivi, uno dei quali mi piace di più, voglio eseguire Dolphin come il mio file manager predefinito in stock Ubuntu 12.04. Ho installato Dolphin. Ho fatto: sudo mv /usr/bin/nautilus /usr/bin/natilus.back && sudo ln -s /usr/bin/dolphin /usr/bin/nautilus che rende invece aperto qualsiasi programma che chiama Nautilus Dolphin. Fin qui …
Quando avevo installato l'applicazione rar, il gestore dell'archivio stava usando quella che aveva problemi con caratteri non inglesi. L'ho disinstallato e il gestore dell'archivio ha usato p7zip. La domanda è: come posso fare in modo che l'archivio gestisca (ed estragga qui) per usare p7zip invece di rar ma sia installato …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.