mirror of
https://github.com/dustinkirkland/byobu
synced 2025-08-22 06:23:19 -07:00
* screen: respect $SCREENRC environment variable, LP: #367250
Signed-off-by: Dustin Kirkland <kirkland@canonical.com>
This commit is contained in:
parent
7f48b9228b
commit
9303bce623
2 changed files with 10 additions and 6 deletions
3
debian/changelog
vendored
3
debian/changelog
vendored
|
@ -2,8 +2,9 @@ screen-profiles (1.51) unreleased; urgency=low
|
|||
|
||||
* bin/cpu-freq: only print cpu-freq if available
|
||||
* bin/hostname: hostname -s fails sometimes, it seems
|
||||
* screen: respect $SCREENRC environment variable, LP: #367250
|
||||
|
||||
-- Dustin Kirkland <kirkland@ubuntu.com> Sat, 25 Apr 2009 10:27:22 -0500
|
||||
-- Dustin Kirkland <kirkland@ubuntu.com> Sun, 26 Apr 2009 12:07:41 -0500
|
||||
|
||||
screen-profiles (1.50-0ubuntu1) jaunty; urgency=low
|
||||
|
||||
|
|
13
screen
13
screen
|
@ -20,11 +20,14 @@
|
|||
# Create the screen-profiles directory, if it doesn't already exist
|
||||
[ -d "$HOME/.screen-profiles" ] || mkdir -p "$HOME/.screen-profiles"
|
||||
|
||||
# If $HOME/.screenrc exists but $HOME/.screen-profiles/profile does not,
|
||||
# Use $SCREENRC if non-empty, and readable; otherwise, use the one in $HOME
|
||||
[ -n "$SCREENRC" -a -r "$SCREENRC" ] || SCREENRC="$HOME/.screenrc"
|
||||
|
||||
# If $SCREENRC exists but $HOME/.screen-profiles/profile does not,
|
||||
# this shows that the user has an existing custom screen configuration,
|
||||
# and thus we will not force screen-profiles on them.
|
||||
if [ -r "$HOME/.screenrc" -a ! -e "$HOME/.screen-profiles/profile" -a ! -h "$HOME/.screen-profiles/profile" ]; then
|
||||
exec /usr/bin/screen.real -c "$HOME/.screenrc" "$@"
|
||||
if [ -r "$SCREENRC" -a ! -e "$HOME/.screen-profiles/profile" -a ! -h "$HOME/.screen-profiles/profile" ]; then
|
||||
exec /usr/bin/screen.real -c "$SCREENRC" "$@"
|
||||
exit $?
|
||||
fi
|
||||
|
||||
|
@ -71,8 +74,8 @@ fi
|
|||
# Ensure that their default windows are seeded
|
||||
[ -r "$HOME/.screen-profiles/windows" ] || touch "$HOME/.screen-profiles/windows"
|
||||
|
||||
# Ensure that the user's .screenrc at least exists
|
||||
[ -r "$HOME/.screenrc" ] || touch "$HOME/.screenrc"
|
||||
# Ensure that the user's $SCREENRC at least exists
|
||||
[ -r "$SCREENRC" ] || touch "$SCREENRC"
|
||||
|
||||
# Now let's execute screen!
|
||||
if [ -z "$@" ]; then
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue