Re: Dolphin non aggiorna il contenuto della cartella

[Nicola Manca <nicola.manca85@gmail.com>]

Il 09/05/2012 20:41, dr_mortimer ha scritto:
> In data mercoledì 9 maggio 2012 12:58:10, Nicola Manca ha scritto:
> > Uso debian wheezy, niente repository strani. Ho visto che Dolphin non
> > aggiorna il contenuto della cartella aperta se, per esempio, creo un
> > file o lo elimino con un altro programma (es. terminale). Da synaptic
> > non vedo pacchetti suggeriti, tipo fam o simili, è un bug o mi sono
> > scordato qualcosa?
>
> un comportamento che ho riscontrato anche io, debian wheezy e dolphin
> 4:4.7.4-2
>
> di solito un F5 è risolutore anche se in effetti par strano che il file manager
> non provveda da solo ad "aggiornare" il contenuto della data directory.

si conoscevo l'F5 ma mi sembra assurdo che non faccia da solo, è 
tecnologia di 10 anni fa... dolphin è un ottimo file manager, deve 
esseci qualcosa che non va.