Skip to content

Commit

Permalink
WIP7
Browse files Browse the repository at this point in the history
  • Loading branch information
dmalan committed May 8, 2024
1 parent 4b19fc4 commit 2801456
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 8 deletions.
7 changes: 2 additions & 5 deletions etc/profile.d/help50.sh
Original file line number Diff line number Diff line change
Expand Up @@ -98,14 +98,11 @@ function _help50() {
if ! type _helpful >/dev/null 2>&1; then
function _helpful() {
local output=$(_ansi "$1")
echo -e "\033[7m${output}\033[27m" # Reverse video
echo -e "\033[33m${output}\033[39m" # Yellow
}
fi
if ! type _helpless >/dev/null 2>&1; then
#function _helpless() { :; } # Silent
function _helpless() {
echo TODO
}
function _helpless() { :; } # Silent
fi

export PROMPT_COMMAND=_help50
6 changes: 3 additions & 3 deletions opt/cs50/bin/help50
Original file line number Diff line number Diff line change
Expand Up @@ -57,9 +57,9 @@ function _start() {
}

function _stop() {
local ppid=$(ps -o ppid= -p $$) # bash --login
local gppid=$(ps -o ppid= -p $ppid) # sh -c
local ggppid=$(ps -o ppid= -p $gppid) # script
local ppid=$(ps -o ppid= -p $$) # bash --login
local gppid=$(ps -o ppid= -p $ppid) # sh -c
local ggppid=$(ps -o ppid= -p $gppid) # script
kill -SIGTERM $ggppid
}

Expand Down

0 comments on commit 2801456

Please sign in to comment.