On Tue, Jul 15, 2008 at 1:17 AM, RalfGesellensetter <[EMAIL PROTECTED]> wrote:
> what's the difference between /usr/share/menu/ & /etc/xdg/menus/ ?
The former is for menu files for the Debian-specific menu (that isn't
available in Debian GNOME by default). The latter lists FreeDesktop
menus for d
Ta, paul
Am Montag 14 Juli 2008 schrieb Paul Wise:
> Just altering all the menu files that packages put in /etc/xdg/menus/
what's the difference between /usr/share/menu/ & /etc/xdg/menus/ ?
cheers
regards
ralf
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trou
On Sun, Jul 13, 2008 at 10:31 PM, RalfGesellensetter <[EMAIL PROTECTED]> wrote:
> - place all jar files to /usr/share/java or /usr/lib/jar
Locally installed and built stuff should go to /usr/local or /opt
rather than there.
> - register desktop relevant jar files in /etc/debian-desktop-jar.conf
On Sunday 13 July 2008 17:15:01 RalfGesellensetter wrote:
> Dear list,
Hello,
> especially in educational settings, there is an increasing pool of
> platform independent Java applications (JARs) that can be integrated in
> users' desktops.
>
> While Java JDK is freed nowadays, those JAR files are
Hi,
RalfGesellensetter wrote:
> While Java JDK is freed nowadays, those JAR files are mostly
> closed-source (bluej, javakara, jprologeditor, greenfoot etc.).
>
> Rather than creating wrapping deb-packages with binary content
> ('dirty'), I'd suggest a straight-forward policy plus some desktop
5 matches
Mail list logo
