7 lines
376 B
Bash
7 lines
376 B
Bash
_OLD_EXTGLOB=$(shopt -p extglob)
|
|
shopt -s extglob
|
|
test -n "$EPICS_HOST_ARCH" || export EPICS_HOST_ARCH=$(/bin/sed "s%cpe:/o:redhat:enterprise_linux:\([0-9]*\).*%RHEL\1-`/bin/uname -m`%" /etc/system-release-cpe)
|
|
PATH=${PATH//?(:)\/usr\/local\/epics\/base-+([0-9]).+([0-9]).+([0-9])\/bin\/$EPICS_HOST_ARCH}:$EPICS_BASE/bin/$EPICS_HOST_ARCH
|
|
eval $_OLD_EXTGLOB
|
|
unset _OLD_EXTGLOB
|