URL:
<https://savannah.gnu.org/bugs/?57628>
Summary: Can't access $HOSTNAME in screenrc file
Project: GNU Screen
Submitted by: carlponder
Submitted on: Sat 18 Jan 2020 10:27:04 PM UTC
Category: None
Severity: 3 - Normal
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Release: None
Fixed Release: None
Planned Release: None
Work Required: None
_______________________________________________________
Details:
These lines don't work inside my "screenrc" file:
exec !.. ./bin/director config-gpgpu.xml %H
exec !.. ./bin/director config-gpgpu.xml $HOST
exec !.. ./bin/director config-gpgpu.xml $HOSTNAME
screen ./bin/director config-gpgpu.xml $HOST
screen ./bin/director config-gpgpu.xml $HOSTNAME
It looks like some environmet-variable expansion is available
setenv LD_LIBRARY_PATH $PWD/lib/NVIDIA_V100-x86_64-Ubuntu_18.04
If I use an explicit host name, it does work
exec !.. ./bin/director config-gpgpu.xml prm-dgx-10
but that's useless since I don't know what node I will be running on.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57628>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
