diff scripts/pkg/pkg.m @ 29579:3a9000d18596 stable

pkg.m: Use default prefixes unless otherwise set previously (bug #60472). * scripts/pkg/pkg.m: Use default prefixes for global or local store unless a prefix was set manually.
author Markus Mützel <markus.muetzel@gmx.de>
date Fri, 30 Apr 2021 15:02:13 +0200
parents 0a5b15007766
children 62408c80d92d
line wrap: on
line diff
--- a/scripts/pkg/pkg.m	Thu Apr 29 06:32:13 2021 -0400
+++ b/scripts/pkg/pkg.m	Fri Apr 30 15:02:13 2021 +0200
@@ -396,7 +396,7 @@
     global_install = (geteuid () == 0);
   endif
 
-  if (isbool (prefix))
+  if (! user_prefix)
     [prefix, archprefix] = default_prefix (global_install);
     prefix = tilde_expand (prefix);
     archprefix = tilde_expand (archprefix);