diff options
author | Fabian | 2018-02-19 16:22:59 +0100 |
---|---|---|
committer | Fabian | 2018-02-19 16:26:33 +0100 |
commit | 3be371822cd8a76526786644669ffd370fa6f317 (patch) | |
tree | b7d70694bb77f4db707d5fe278a41029fd8e980c /jupyterlab-git.install | |
parent | b92777e789b38e8f44221d4869c1b31a7cc0a812 (diff) | |
download | aur-3be371822cd8a76526786644669ffd370fa6f317.tar.gz |
Update PKGBUILD for current git master
Diffstat (limited to 'jupyterlab-git.install')
-rw-r--r-- | jupyterlab-git.install | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/jupyterlab-git.install b/jupyterlab-git.install new file mode 100644 index 000000000000..353b851a62c3 --- /dev/null +++ b/jupyterlab-git.install @@ -0,0 +1,21 @@ +with_env() { + env \ + JUPYTER_DATA_DIR=/usr/share/jupyter \ + JUPYTER_CONFIG_DIR=/etc/jupyter \ + "$@" --user +} + +post_install() { + with_env jupyter serverextension enable --py jupyterlab +} + +pre_remove() { + with_env jupyter serverextension disable --py jupyterlab +} + +pre_upgrade() { + pre_remove +} +post_upgrade() { + post_install +} |