diff options
author | IOhannes m zmölnig <zmoelnig@iem.at> | 2023-02-07 08:50:10 +0100 |
---|---|---|
committer | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2023-12-12 15:59:28 +0100 |
commit | ab9d5629f60e137f4f793ad7c2d3bc40b41a1232 (patch) | |
tree | 910b6b76572db4906b7b5aaeb9ed13a0c49923ee | |
parent | f46892ddc43709e43237f592a20ad19180674855 (diff) |
fetch scripts from Debian package
Origin: Debian
Forwarded: not-needed
Last-Update: 2022-05-22
Upstream's "deken" wrapper script pulls in data from github.
On Debian we ship these files in the package, so we can fetch them locally.
We also don't want to use the same directory (~/.deken/) as upstream,
so we use ~/.local/share/deken-debian instead
Last-Update: 2022-05-22
Gbp-Pq: Name localhy.patch
-rwxr-xr-x | developer/deken | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/developer/deken b/developer/deken index d4daaa7..eda3333 100755 --- a/developer/deken +++ b/developer/deken @@ -1,4 +1,6 @@ #!/usr/bin/env sh +DEKEN_BASE_URL="/usr/share/deken/developer" +DEKEN_HOME="${HOME}/.local/share/deken-debian" # Ensure this file is executable via `chmod a+x deken`, then place it # somewhere on your ${PATH}, like ~/bin. The rest of Deken will self-install |