Working post-update script that updates secure_path (V3)

99update-secure-path (text/plain), 530 bytes, created by konsolebox on 2021-03-21 11:13:37 UTC

#!/bin/bash

set -f

function main {
	local secure_path=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin
	local IFS=: __
	set -- $(unset ROOTPATH; . "${EPREFIX}"/etc/profile.env; echo "${ROOTPATH}")

	for __; do
		case $__ in
		''|*/gcc-bin/*|*/gnat-gcc-bin/*|*/gnat-gcc/*)
			;;
		*)
			[[ :${secure_path}: != *:"$__":* ]] && secure_path+=:$__
			;;
		esac
	done

	echo ">>> Updating /etc/sudoers.d/secure_path ..."
	printf 'Defaults secure_path="%s"\n' "${secure_path}" > /etc/sudoers.d/secure_path
}

main