Pin Terra on a server that already has it, before its package update

setup/scripts/install-packages

@@ -1318,6 +1318,18 @@ fi
 
 if [[ "$ROLE" == server ]]; then
 	echo -e "\n--- Installing packages (server) ---"
+	# A server never installs Terra, but one that already has it (installed by
+	# hand, or by an older Panama) has it enabled for the update below. Pin it
+	# first, exactly as a desktop would, rather than update through a stock
+	# terra-release file with metadata checks off.
+	if rpm -q terra-release >/dev/null 2>&1; then
+		terra_status=0
+		_terra_effective_status || terra_status=$?
+		if (( terra_status != 1 )); then
+			log "Pinning the Terra repository this server already has"
+			install_terra_repository > /dev/null
+		fi
+	fi
 	log "Updating all packages. This may take a while"
 	sudo dnf update -y --refresh > /dev/null
 	install_list core-packages "Core"