diff --git a/packaging/rules/debian/ring-all.postinst b/packaging/rules/debian/ring-all.postinst index 99c7a23602dada37691998c386d081c753fcfa8f..dbd84ad37b9f083a3494be4caedc337e0f98145c 100755 --- a/packaging/rules/debian/ring-all.postinst +++ b/packaging/rules/debian/ring-all.postinst @@ -109,6 +109,9 @@ if [ -f /etc/os-release ]; then ENDTAG="ubuntu_16.04" elif [ "$ID" = "linuxmint" ] && [ "$UBUNTU_CODENAME" = "bionic" ]; then ENDTAG="ubuntu_18.04" + elif [ "$ID" = "linuxmint" ] && [ "$DEBIAN_CODENAME" = "stretch" ]; then + # LMDE3 + ENDTAG="debian_9" else # Distribution is not supported. Don't provide automatic updates. CAN_ADD_DEB_SOURCE=false