blob: cda71ae29e6ad23fb7b30e68c417df49ab8af2bb (
plain)
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_command_timer_path=/usr/share/bash-command-timer/bash_command_timer.sh
post_install() {
printf "\
>
>
> To complete installation, add the following to your bashrc:
>
> [[ -f $bash_command_timer_path ]] && source $bash_command_timer_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.
>
> [[ -f $bash_command_timer_path ]] && source $bash_command_timer_path
>
>
"
}
|