bash-timer.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

 
bash_timer_path=/usr/share/bash-timer/bash-timer.sh
preexec_path=/usr/share/bash-prexec/bash_preexec.sh         # bash-preexec dependancy

post_install() {
    printf "\
>    
>   To complete installation, add the following to your bashrc: 
>
>   # Define timer callback functions
>   [[ -f $bash_timer_path ]] && source $bash_timer_path    
>   # Register callback functions with bash-preexec
>   [[ -f $preexec_path ]] && source $preexec_path
>

$ echo \"[[ -f $bash_timer_path ]] && source $bash_timer_path\" >> /etc/bash.bashrc
$ echo \"[[ -f $preexec_path ]] && source $preexec_path\" >> /etc/bash.bashrc

"
}

post_remove() {
    printf "\
>    
>   To complete removal, remove the 'source' directives from your bashrc.
>
"
}