Re: How to use remote desktop?

> Hi, > >> Folder /etc/X11/xrdp is missing here and consequently xorg.conf. > > Can you please check whether xorgxrdp is installed? If not, please > install it. > > While at it, please verify that your xrdp package version is 0.9.1-9. > > (You might want to update to 0.9.4-1 from stretch-backports

Re: Questions regarding boot parameter edu-skip-ltsp-make-client

> On Wed, Oct 11, 2017 at 05:02:56PM +0200, roman.me...@gismap.ch wrote: >> Going through the DebianEdu manual I came across the boot parameter >> 'edu-skip-ltsp-make-client'. > [..] >> Couldn't a 'failed' installation be prevented by using the boot >> parameter above? > > It doesn't work out of th

Re: How to use remote desktop?

> Hi, > >> Anyway, I also noticed that some applications are not working, e.g. >> ‘Multi-activity educational game GCompris’ and ‘Chess Game’. Kde >> throws >> e.g. ‘Could not find the program gcompris’. >> >> Can you reproduce this? > > Nope, as it's probably another missing package. > > I a

Re: How to use remote desktop?

>> Hi, >> >>> Anyway, I also noticed that some applications are not working, e.g. >>> ‘Multi-activity educational game GCompris’ and ‘Chess Game’. Kde >>> throws >>> e.g. ‘Could not find the program gcompris’. >>> >>> Can you reproduce this? >> >> Nope, as it's probably another missing packag

Re: How to use remote desktop?

Hi, > Couldn’t it be related to xrdp since they work well directly on the server? xrdp can cause all kind sof issues, but commands not being found is not one of them ;). Except maybe PAM does something like adding the games group to users dynamically. Did you upgrade the pam configuration file o

Re: How to use remote desktop?

> mm@tjener:~$ cd /usr/games > mm@tjener:/usr/games$ ./gcompris > > The application starts now. > > Again, this issue occurs on xrdp only (not 100% sure though). It means that /usr/games is not in $PATH. I will check on my xrdp server later. In the meantime, you can add something like expo

Configuration settings of wicd daemon when adding lxde desktop environment on server

Hi folks, When adding lxde manually to the server I’m getting a configuration box of wicd-daemon asking which users to add to the netdev group. Options are the following: -Administrator -mm (a teacher user I have added) -newstudent -newtacher -roman (first user) What options do I need to tick he

Switching to another desktop environment when using remote desktop connection

Hi folks, Currently I’m somehow stuck with lxde that I have recently added on the server. Is there a way to switch to another desktop environment, e.g. Kde as it was before I installed lxde? Is there something like a session selector available allowing the user to choose from any of the desktop

Re: Offline installations no longer possible with DebianEdu Stretch?

>> What else could cause this? > > No idea. You might have to set a different color depth in lts.conf; see > https://wiki.debian.org/DebianEdu/Documentation/Stretch/HowTo/NetworkClients#LTSP_in_detail Hi Wolfgang, My thin clients used to work out of the box without any special configuration. I’l

How to remove desktop environments from the server

Hi folks, To add desktop environments is well documented and works well e.g. using 'apt install education-desktop-lxde'. However, how are they removed again? You can run 'apt remove education-desktop-lxde' but this doesn’t remove lxde in my setup. Kind regards, Roman

Re: How to use remote desktop?

>> mm@tjener:~$ cd /usr/games >> mm@tjener:/usr/games$ ./gcompris >> >> The application starts now. >> >> Again, this issue occurs on xrdp only (not 100% sure though). > > It means that /usr/games is not in $PATH. I will check on my xrdp server > later. > > In the meantime, you can add something li

Re: How to remove desktop environments from the server

Hi Roman, roman.me...@gismap.ch schreef op wo 01-11-2017 om 15:16 [+0100]: > Hi folks, > > To add desktop environments is well documented and works well e.g. > using > 'apt install education-desktop-lxde'. > > However, how are they removed again? > > You can run 'apt remove education-desktop-lx

Re: Switching to another desktop environment when using remote desktop connection

Hi Roman, roman.me...@gismap.ch schreef op wo 01-11-2017 om 12:42 [+0100]: > Hi folks, > > Currently I’m somehow stuck with lxde that I have recently added on > the > server. > > Is there a way to switch to another desktop environment, e.g. Kde as > it > was before I installed lxde? Just instal

Re: Configuration settings of wicd daemon when adding lxde desktop environment on server

Hi Roman, roman.me...@gismap.ch schreef op wo 01-11-2017 om 12:16 [+0100]: > Hi folks, > > When adding lxde manually to the server I’m getting a configuration > box of > wicd-daemon asking which users to add to the netdev group. > > Options are the following: > -Administrator > -mm (a teacher u

Re: How to use remote desktop?

On Wed, Nov 01, 2017 at 03:22:10PM +0100, roman.me...@gismap.ch wrote: > >> Again, this issue occurs on xrdp only (not 100% sure though). > > > > It means that /usr/games is not in $PATH. I will check on my xrdp server > > later. > > > > In the meantime, you can add something like > > > > expor

Re: Questions regarding boot parameter edu-skip-ltsp-make-client

> On Wed, Oct 11, 2017 at 05:02:56PM +0200, roman.me...@gismap.ch wrote: >> Going through the DebianEdu manual I came across the boot parameter >> 'edu-skip-ltsp-make-client'. > [..] >> Couldn't a 'failed' installation be prevented by using the boot >> parameter above? > > It doesn't work out of th

Re: Configuration settings of wicd daemon when adding lxde desktop environment on server

> roman.me...@gismap.ch schreef op wo 01-11-2017 om 12:16 [+0100]: >> Hi folks, >> >> When adding lxde manually to the server I’m getting a configuration >> box of >> wicd-daemon asking which users to add to the netdev group. >> >> Options are the following: >> -Administrator >> -mm (a teacher us

Re: Switching to another desktop environment when using remote desktop connection

> Hi Roman, > > roman.me...@gismap.ch schreef op wo 01-11-2017 om 12:42 [+0100]: >> Hi folks, >> >> Currently I’m somehow stuck with lxde that I have recently added on >> the >> server. >> >> Is there a way to switch to another desktop environment, e.g. Kde as >> it >> was before I installed lxde

Re: How to remove desktop environments from the server

> roman.me...@gismap.ch schreef op wo 01-11-2017 om 15:16 [+0100]: >> Hi folks, >> >> To add desktop environments is well documented and works well e.g. >> using >> 'apt install education-desktop-lxde'. >> >> However, how are they removed again? >> >> You can run 'apt remove education-desktop-lxde'

Re: Configuration settings of wicd daemon when adding lxde desktop environment on server

[Roman.Meier] >> Quoting https://wiki.debian.org/SystemGroups: >> "netdev: Members of this group can manage network interfaces through >> the network manager and wicd." >> >> So normally no one has to be added. > > Hi Frans, > > I’m not sure. I’m facing issues after doing this. I kind of suspect th

RFP: Isabelle -- generic proof assistant

hi, hoping you can pack this into Debian, i've sent the wnpp ;) Forwarded Message Subject:RFP: Isabelle -- generic proof assistant Date: Thu, 2 Nov 2017 11:02:25 +0800 From: GengYu Rao To: sub...@bugs.debian.org