diff --git a/installers/deb_package_build/debian/postinst b/installers/deb_package_build/debian/postinst index c5378f98..e79adab9 100644 --- a/installers/deb_package_build/debian/postinst +++ b/installers/deb_package_build/debian/postinst @@ -1,3 +1,5 @@ #!/bin/bash -ln -s /usr/bench/bin/bench /usr/bin/bench +if [ ! -h /usr/bin/bench ]; then + ln -s /usr/bench/bin/bench /usr/bin/bench +fi diff --git a/installers/deb_package_build/debian/postrm b/installers/deb_package_build/debian/postrm new file mode 100644 index 00000000..1603d98b --- /dev/null +++ b/installers/deb_package_build/debian/postrm @@ -0,0 +1,5 @@ +#!/bin/bash + +if [ ! -h /usr/bin/bench ]; then + rm -rf /usr/bin/bench +fi