debian/patches/210_use-cfg_debian_ext.diff

   1 --- ion3.orig/etc/cfg_defaults.lua
   2 +++ ion3/etc/cfg_defaults.lua
   3 @@ -15,3 +15,6 @@
   4
   5  -- Deprecated.
   6  dopath("cfg_user", true)
   7 +
   8 +-- Debian extra configuration files
   9 +dopath("cfg_debian_ext")