Add new Ubuntus

This commit is contained in:
Ximi1970
2020-04-24 22:42:19 +02:00
parent ac6cb4a3eb
commit 2b7974c617
3 changed files with 83 additions and 1 deletions

View File

@@ -29,6 +29,10 @@ OBS_DEB_ARCHS+="Debian_10/i386 "
OBS_DEB_PKS+="deb10 "
OBS_DEB_ARCHS+="Debian_10/amd64 "
OBS_DEB_PKS+="deb10 "
OBS_DEB_ARCHS+="xUbuntu_16.04/i386 "
OBS_DEB_PKS+="xenial1604 "
OBS_DEB_ARCHS+="xUbuntu_16.04/amd64 "
OBS_DEB_PKS+="xenial1604 "
OBS_DEB_ARCHS+="xUbuntu_18.04/i386 "
OBS_DEB_PKS+="bionic1804 "
OBS_DEB_ARCHS+="xUbuntu_18.04/amd64 "
@@ -36,7 +40,9 @@ OBS_DEB_PKS+="bionic1804 "
OBS_DEB_ARCHS+="xUbuntu_19.04/amd64 "
OBS_DEB_PKS+="disco1904 "
OBS_DEB_ARCHS+="xUbuntu_19.10/amd64 "
OBS_DEB_PKS+="focal1910 "
OBS_DEB_PKS+="eoan1910 "
OBS_DEB_ARCHS+="xUbuntu_20.04/amd64 "
OBS_DEB_PKS+="focal2004 "
create_rpm_gnome_extension_tar() {

38
dist/install.xUbuntu_16.04.sh vendored Normal file
View File

@@ -0,0 +1,38 @@
enableGnomeExtension() {
EXTENSION="appindicatorsupport@rgcjonas.gmail.com"
PACKAGE="gnome-shell-extension-appindicator"
ENABLE_CMD="gnome-shell-extension-tool -e ${EXTENSION}"
#
# Is the extension installed?
#
if [ -d /usr/share/gnome-shell/extensions/${EXTENSION} ] || [ -d ~/.local/share/gnome-shell/extensions/${EXTENSION} ] ; then
$ENABLE_CMD
else
mkdir -p ~/.local/share/gnome-shell/extensions
tar -C ~/.local/share/gnome-shell/extensions -xJf ${DESTINATION}/gnome-shell-extension.tar.xz
$ENABLE_CMD
fi
echo
echo "Please logout and login to activate the gnome shell extension"
echo
}
#
# Enable the gnome shell extension for the local user
#
if [ "$XDG_CURRENT_DESKTOP" == "ubuntu:GNOME" ] ; then
enableGnomeExtension
fi
#
# Check for Qt
#
dpkg -l | grep -q libqt5widgets5
if [ "$?" == "1" ] ; then
echo
echo "Please install the package libqt5widgets5:"
echo
echo "sudo apt install libqt5widgets5"
echo
fi

38
dist/install.xUbuntu_20.04.sh vendored Normal file
View File

@@ -0,0 +1,38 @@
enableGnomeExtension() {
EXTENSION="appindicatorsupport@rgcjonas.gmail.com"
PACKAGE="gnome-shell-extension-appindicator"
ENABLE_CMD="gnome-extensions enable ${EXTENSION}"
#
# Is the extension installed?
#
if [ -d /usr/share/gnome-shell/extensions/${EXTENSION} ] || [ -d ~/.local/share/gnome-shell/extensions/${EXTENSION} ] ; then
$ENABLE_CMD
else
mkdir -p ~/.local/share/gnome-shell/extensions
tar -C ~/.local/share/gnome-shell/extensions -xJf ${DESTINATION}/gnome-shell-extension.tar.xz
$ENABLE_CMD
fi
echo
echo "Please logout and login to activate the gnome shell extension"
echo
}
#
# Enable the gnome shell extension for the local user
#
if [ "$XDG_CURRENT_DESKTOP" == "ubuntu:GNOME" ] ; then
enableGnomeExtension
fi
#
# Check for Qt
#
dpkg -l | grep -q libqt5widgets5
if [ "$?" == "1" ] ; then
echo
echo "Please install the package libqt5widgets5"
echo
echo "sudo apt install libqt5widgets5"
echo
fi