gnu: gajim: Fix error when GAJIM_PLUGIN_PATH is not set.

Fixes <https://bug.gnu.org/35606>

* gnu/packages/messaging.scm (gajim)[arguments]: Handle case when
GAJIM_PLUGIN_PATH is unset in add-plugins-dir phase.
This commit is contained in:
Ricardo Wurmus 2019-05-13 09:00:55 +02:00
parent 70d23edf93
commit a624c36310
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -594,8 +594,12 @@ (define-public gajim
(add-after 'unpack 'add-plugin-dirs
(lambda _
(substitute* "gajim/common/configpaths.py"
(("_paths\\['PLUGINS_USER'\\]")
"_paths['PLUGINS_USER'],os.getenv('GAJIM_PLUGIN_PATH')"))
(("_paths\\['PLUGINS_USER'\\]\\]")
"_paths['PLUGINS_USER']] + \
([os.getenv('GAJIM_PLUGIN_PATH')] \
if os.getenv('GAJIM_PLUGIN_PATH') \
and Path(os.getenv('GAJIM_PLUGIN_PATH')).is_dir() \
else [])"))
#t))
(replace 'check
(lambda _