PortValhalla/scripts/OS/PopOS/install.sh

#!/bin/bash
pushd "${BASH_SOURCE%/*}" > /dev/null;
source "../../Config/GnomeExtensions/install.sh";
popd > /dev/null;
Split installation process into multiple files 2023-01-23 16:19:55 +00:00			`#!/bin/bash`
Mute output of `pushd` and `popd` commands 2023-03-16 19:14:49 +00:00			`pushd "${BASH_SOURCE%/*}" > /dev/null;`
Enhance resolving of source files 2023-03-16 19:06:14 +00:00			`source "../../Config/GnomeExtensions/install.sh";`
Mute output of `pushd` and `popd` commands 2023-03-16 19:14:49 +00:00			`popd > /dev/null;`