develop script improved support for debian development environment

debian is just debian, (not "like" debian)
dssg · Nov 20, 2018 · 69f19d9 · 69f19d9
1 parent f9b7181
commit 69f19d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/develop b/develop
@@ -68,7 +68,7 @@ install_direnv=""
 case $(uname -s) in
 Linux)
   [ -f /etc/os-release ] && . /etc/os-release
-  case $ID_LIKE in
+  case ${ID_LIKE:-$ID} in
   *debian*)
     install_direnv=apt_install_direnv
     ;;