Lines Matching refs:opt

59 export KDEMAINDIR=/opt/kde3
60 export GNOMEDIR=/opt/gnome
69 if [ -x /opt/gnome/bin/update-desktop-database ]; then
71 /opt/gnome/bin/update-desktop-database -q /usr/share/applications
72 /opt/gnome/bin/update-desktop-database
82 if [ -x /opt/gnome/bin/update-desktop-database ]; then
84 /opt/gnome/bin/update-desktop-database -q /usr/share/applications
85 /opt/gnome/bin/update-desktop-database
96 if [ -x /opt/gnome/bin/update-desktop-database ]; then
98 /opt/gnome/bin/update-desktop-database -q /usr/share/applications
99 /opt/gnome/bin/update-desktop-database
105 …for themedir in /opt/gnome/share/icons/gnome /opt/gnome/share/icons/hicolor /opt/kde3/share/icons/…
110 if [ -x /opt/gnome/bin/gtk-update-icon-cache ]; then
111 /opt/gnome/bin/gtk-update-icon-cache $themedir
286 if [ -x /opt/gnome/bin/update-desktop-database ]; then
287 /opt/gnome/bin/update-desktop-database -q /usr/share/applications
294 for themedir in /opt/gnome/share/icons/gnome /opt/gnome/share/icons/hicolor /opt/kde3/share/icons/h…
299 if [ -x /opt/gnome/bin/gtk-update-icon-cache ]; then
300 /opt/gnome/bin/gtk-update-icon-cache $themedir
312 /opt/gnome/share/application-registry/*.applications
322 /opt/gnome/share/mime-info/*.keys
323 /opt/gnome/share/mime-info/*.mime
324 /opt/kde3/share/mimelnk/application/*.desktop
325 /opt/gnome/share/icons/gnome/*/apps/*png
326 /opt/gnome/share/icons/gnome/*/mimetypes/*png
327 /opt/gnome/share/icons/hicolor/*/mimetypes/*png
328 /opt/kde3/share/icons/hicolor/*/apps/*png
329 /opt/kde3/share/icons/hicolor/*/mimetypes/*png
330 /opt/kde3/share/icons/locolor/*/apps/*png
331 /opt/kde3/share/icons/locolor/*/mimetypes/*png