3a9cd2614e
* add docker-based development resources * incorporate feedback from @ax3l * fix docs/improve ssh handling * experiment with custom prompt * add arch/fix missing core_compilers key * add centos/minor tweaks * make prompt experiment optional * workaround problem with latest fedora docker image * add docker documentation page to index toc * try another documentation fix * switch arch linux base to base/archlinux * update the git urls in the Dockerfiles * add opensuse * switch CUSTOM_PROMPT variable to simply "PROMPT"
144 lines
2.9 KiB
Bash
144 lines
2.9 KiB
Bash
__tmp="`mktemp -d`"
|
|
|
|
__trylock() {
|
|
local dir
|
|
dir="$__tmp/$1.lock"
|
|
mkdir "$dir" &>/dev/null
|
|
return $?
|
|
}
|
|
|
|
__queue_init() {
|
|
local r
|
|
local w
|
|
|
|
mkdir "$__tmp/$1.read.lock" ; r=$?
|
|
mkdir "$__tmp/$1.write.lock" ; w=$?
|
|
|
|
if [ "$r" '=' '0' -a "$w" '=' '0' ] ; then
|
|
return 0
|
|
else
|
|
return 1
|
|
fi
|
|
}
|
|
|
|
__queue_try_read() {
|
|
__trylock "$1.read"
|
|
return $?
|
|
}
|
|
|
|
__queue_try_write() {
|
|
__trylock "$1.write"
|
|
return $?
|
|
}
|
|
|
|
__queue_make_readable() {
|
|
rm -r "$__tmp/$1.read.lock" &>/dev/null
|
|
return $?
|
|
}
|
|
|
|
__queue_make_writable() {
|
|
rm -r "$__tmp/$1.write.lock" &>/dev/null
|
|
return $?
|
|
}
|
|
|
|
__read() {
|
|
cat "$__tmp/$1" 2> /dev/null
|
|
return $?
|
|
}
|
|
|
|
__write() {
|
|
cat > "$__tmp/$1" 2> /dev/null
|
|
return $?
|
|
}
|
|
|
|
__update_prompt() {
|
|
local prompt
|
|
prompt=''
|
|
linux_distro="$DISTRO"
|
|
if [ -n "$linux_distro" ] ; then
|
|
linux_distro='\[\e[1;34m\][\[\e[0;34m\]'"$linux_distro"'\[\e[1;34m\]]'
|
|
if [ -n "$prompt" ] ; then
|
|
prompt="$prompt "
|
|
fi
|
|
prompt="$prompt$linux_distro"
|
|
fi
|
|
|
|
git_head="`git --git-dir=/spack/.git --work-tree=/spack rev-parse --abbrev-ref HEAD 2>/dev/null`"
|
|
if [ "$?" '=' '0' ] ; then
|
|
if [ "$git_head" '=' 'HEAD' ] ; then
|
|
git_head="`git --git-dir=/spack/.git --work-tree=/spack rev-parse HEAD 2>/dev/null | cut -c1-8`..."
|
|
fi
|
|
else
|
|
git_head=''
|
|
fi
|
|
|
|
if [ -n "$git_head" ] ; then
|
|
git_head='\[\e[1;32m\](\[\e[0;32m\]'"$git_head"'\[\e[1;32m\])'
|
|
if [ -n "$prompt" ] ; then
|
|
prompt="$prompt "
|
|
fi
|
|
prompt="$prompt$git_head"
|
|
fi
|
|
|
|
if [ -n "$prompt" ] ; then
|
|
prompt="$prompt "
|
|
fi
|
|
prompt="$prompt"'\[\e[0;m\]\W: '
|
|
echo "$prompt" | __write prompt
|
|
}
|
|
|
|
set -m
|
|
(
|
|
__queue_init query
|
|
__queue_init prompt
|
|
|
|
__update_prompt
|
|
__queue_make_readable prompt
|
|
|
|
__queue_make_writable query
|
|
|
|
while sleep 0.010 ; do
|
|
last_q_time=''
|
|
|
|
while sleep 0.010 ; do
|
|
q_time="`date +%s%N`"
|
|
if __queue_try_read query ; then
|
|
last_q_time="$q_time"
|
|
__queue_make_writable query
|
|
fi
|
|
|
|
if [ -n "$last_q_time" -a \
|
|
"$(( (q_time - last_q_time)/10000000 > 100 ))" '=' '1' ] ; then
|
|
break
|
|
fi
|
|
done
|
|
|
|
__update_prompt
|
|
__queue_make_readable prompt
|
|
done
|
|
) &>/dev/null &
|
|
set +m
|
|
|
|
__update_prompt_main_first_call=1
|
|
__update_prompt_main() {
|
|
if [ "$__update_prompt_main_first_call" '=' '1' ] ; then
|
|
while sleep 0.001 ; do
|
|
if __queue_try_read prompt ; then
|
|
PS1="`__read prompt`"
|
|
break
|
|
fi
|
|
done
|
|
__update_prompt_main_first_call=0
|
|
else
|
|
if __queue_try_read prompt ; then
|
|
PS1="`__read prompt`"
|
|
fi
|
|
fi
|
|
|
|
if __queue_try_write query ; then
|
|
__queue_make_readable query
|
|
fi
|
|
}
|
|
|
|
PROMPT_COMMAND=__update_prompt_main
|