From 4020308d40bd490daa77620add6b13fc81b25de2 Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Wed, 10 Feb 2021 14:09:01 +1100 Subject: [PATCH] Vagrant: add desktop to Vagrant --- Tools/vagrant/initvagrant-desktop.sh | 42 ++++++++++++++++++++++++++++ Vagrantfile | 11 ++++++++ 2 files changed, 53 insertions(+) create mode 100644 Tools/vagrant/initvagrant-desktop.sh diff --git a/Tools/vagrant/initvagrant-desktop.sh b/Tools/vagrant/initvagrant-desktop.sh new file mode 100644 index 0000000000..eeb0476118 --- /dev/null +++ b/Tools/vagrant/initvagrant-desktop.sh @@ -0,0 +1,42 @@ +#!/bin/bash +echo "---------- $0 start ----------" + +set -e +set -x + +/vagrant/Tools/vagrant/initvagrant.sh + +VAGRANT_USER=ubuntu +if [ -e /home/vagrant ]; then + # prefer vagrant user + VAGRANT_USER=vagrant +fi + +apt-get update + +apt-get install -y ubuntu-desktop + +GDB_CONF="/etc/gdm3/custom.conf" +perl -pe 's/# AutomaticLoginEnable = true/AutomaticLoginEnable = true/' -i "$GDB_CONF" +perl -pe 's/# AutomaticLogin = user1/AutomaticLogin = vagrant/' -i "$GDB_CONF" + +cat >>/etc/xdg/autostart/open-gnome-terminal.desktop <