Further fixing.

diff --git a/testing/scripts/setup_desktop.sh b/testing/scripts/setup_desktop.sh
index 295c8c8b7ac65df1b4c911b0a565430d95ade1be..7b90b0f42763eb0918fe499038f79534943f3275 100755 (executable)
--- a/testing/scripts/setup_desktop.sh
+++ b/testing/scripts/setup_desktop.sh
@@ -127,11 +127,11 @@ install_aptmarkeds() {
     # Walk through the package names in ../aptmark/ files to ensure the respective
     # packages are installed.
     for TAG in $1; do
-        PATH="${PATH_CONF}/aptmark/${TAG}"
-        if [ ! -f "${PATH}" ]; then
+        PATH_="${PATH_CONF}/aptmark/${TAG}"
+        if [ ! -f "${PATH_}" ]; then
             continue
         fi
-        cat "${PATH}" | while read line; do
+        cat "${PATH_}" | while read line; do
             echo "$LINE"
             if [ ! $(echo "${LINE}" | cut -c1) = "#" ]; then
                 apt-get -y -o Dpkg::Options::="--force-confnew" install "${LINE}"