diff --git a/docker/Emulator_x86 b/docker/Emulator_x86 index 08e7c34..74250f0 100644 --- a/docker/Emulator_x86 +++ b/docker/Emulator_x86 @@ -158,6 +158,13 @@ ENV DISPLAY=:0 \ VIDEO_PATH=/tmp/video \ LOG_PATH=/var/log/supervisor +#================================================ +# openbox configuration +# Update the openbox configuration files to: +# + Use a single virtual desktop to prevent accidentally switching +#================================================ +RUN sed -i "s/4<\/number>/1<\/number>/g" /etc/xdg/openbox/rc.xml + #=============== # Expose Ports #---------------