2020-11-20 10:33:40 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
if [ "$PREFIX" = "" ]; then
|
|
|
|
|
PREFIX=/usr/local
|
|
|
|
|
fi
|
|
|
|
|
|
2021-09-23 03:24:52 +02:00
|
|
|
xdg-mime uninstall "$PREFIX"/share/anki/anki.xml || true
|
2020-11-20 10:33:40 +01:00
|
|
|
|
2021-09-23 03:24:52 +02:00
|
|
|
rm -rf "$PREFIX"/share/anki
|
|
|
|
|
rm -rf "$PREFIX"/bin/anki
|
|
|
|
|
rm -rf "$PREFIX"/share/pixmaps/anki.xpm
|
|
|
|
|
rm -rf "$PREFIX"/share/pixmaps/anki.png
|
|
|
|
|
rm -rf "$PREFIX"/share/applications/anki.desktop
|
|
|
|
|
rm -rf "$PREFIX"/share/man/man1/anki.1
|
2020-11-20 10:33:40 +01:00
|
|
|
|
|
|
|
|
echo "Uninstall complete."
|
