1 | #!/bin/sh
|
2 | #
|
3 | # POSIX shell script to uninstall oil shell from the system.
|
4 | # Distributed with the source tarball.
|
5 |
|
6 | log() {
|
7 | # indent it a bit
|
8 | echo " $@" 1>&2
|
9 | }
|
10 |
|
11 | die() {
|
12 | echo "FATAL install error: $@" 1>&2
|
13 | exit 1
|
14 | }
|
15 |
|
16 | # NOTE: The configure step
|
17 | main() {
|
18 | if ! . _build/detected-config.sh; then
|
19 | die "Can't find _build/detected-config.sh. Run './configure'"
|
20 | fi
|
21 | # Now $PREFIX should be defined
|
22 |
|
23 | #
|
24 | # Remove the shell binary
|
25 | #
|
26 |
|
27 | #local exec_filename=oil.ovm-dbg
|
28 | local exec_filename=oil.ovm
|
29 | local bin_dest="${DESTDIR}${PREFIX}/bin/"
|
30 |
|
31 | if ! rm "$bin_dest/$exec_filename"; then
|
32 | log "Couldn't remove $exec_filename binary in $bin_dest"
|
33 | else
|
34 | log "Removed executable"
|
35 | fi
|
36 |
|
37 | local working_dir=$PWD # save for later
|
38 |
|
39 | cd "$bin_dest"
|
40 | for link in osh oil ysh; do
|
41 | if ! rm "$bin_dest/$link"; then
|
42 | log "Couldn't remove $link symlink in $bin_dest"
|
43 | else
|
44 | log "Removed '$link' symlink"
|
45 | fi
|
46 | done
|
47 |
|
48 | #
|
49 | # Remove man page
|
50 | #
|
51 |
|
52 | # Relevant:
|
53 | # https://unix.stackexchange.com/questions/90759/where-should-i-install-manual-pages-in-user-directory
|
54 | # https://www.freebsd.org/cgi/man.cgi?query=install
|
55 |
|
56 | cd "$working_dir"
|
57 |
|
58 | # e.g. /usr/local/share/man/man1
|
59 | local man_dest="${DESTDIR}${DATAROOTDIR}/man/man1/"
|
60 |
|
61 | if ! rm "$man_dest/osh.1"; then
|
62 | log "Couldn't remove osh.1 in $man_dest"
|
63 | else
|
64 | log "Removed man page"
|
65 | fi
|
66 | }
|
67 |
|
68 | main "$@"
|