mailing-list for TeXmacs Users

[Andrea Gamba <address@hidden>]

> 3) The commands
>
> update-mime-database /usr/share/mime
> update-desktop-database
> cd /usr/share/icons
> gtk-update-icon-cache --force gnome
>
> should be issued, to refresh the mimetype and icon cache.
Should be better (and shorter) this way:

update-mime-database
update-desktop-database
gtk-update-icon-cache --force /usr/share/icons/gnome


Andrea