File: gnubg.prerm

package info (click to toggle)
gnubg 1.06.002-1%2Bdeb10u1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 26,608 kB
  • sloc: ansic: 97,578; xml: 15,136; sh: 4,919; yacc: 700; makefile: 582; python: 573; lex: 297; sql: 238; awk: 26
file content (12 lines) | stat: -rwxr-xr-x 198 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/sh
#
# Remove a built bearoffs database, if any is present.

set -e

if [ "remove" = "$1" ] ; then
    rm -f /var/lib/gnubg/gnubg_os0.bd
    rm -f /var/lib/gnubg/gnubg_ts0.bd
fi

#DEBHELPER#