Hi, 0n 03/08/12@13:25 Peter Schubert db1 told me: [gnu vs others] > und praktisch sinnvolles Tool war. Wo spielt denn diese Trennung eine > Rolle und wo müsste man sie denn einhalten? Bei mir spielt sie nur eine Rolle beim suchen nach Doku, bei GNU weiss ich das (p)info noch mehr zu Tage foerdern koennte. BTW: apt-cache meint garchiver ist das gnome zip tool. -- bye maik