add zettlr

This commit is contained in:
Ingolf Wagner 2020-03-29 11:26:19 +08:00
parent a010015c89
commit f3bf333947
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B

View file

@ -8,10 +8,6 @@ let
library = import <library> { inherit pkgs lib; };
#seafileClient = unstablePkgs.seafile-client.override{
# seafile-shared = unstablePkgs.seafile-shared;
#};
allLicenses = let
licenses = builtins.map
(license: "echo '${license.shortName} : ${license.fullName}'")
@ -19,9 +15,14 @@ let
in pkgs.writers.writeBashBin "all-licenses"
(lib.concatStringsSep "\n" licenses);
seafileClient =
pkgs.seafile-client.override { seafile-shared = pkgs.seafile-shared; };
zettlr = pkgs.writers.writeBashBin "zettlr" ''
if [[ ! -x "$HOME/programs/Zettlr.AppImage" ]]
then
echo "$HOME/programs/Zettlr.AppImage does not exist or is not executable";
exit 1
fi
exec ${pkgs.appimage-run}/bin/appimage-run "$HOME/programs/Zettlr.AppImage"
'';
replaceLinks = pkgs.writers.writeBashBin "replace-link-with-content" # sh
''
if [ ! -L "$1" ]
@ -134,6 +135,8 @@ in {
disconnectToSpeaker "brullrohre" "FC:A8:9A:ED:B8:FA";
in [
zettlr
weight
connectToMyPortable
@ -158,8 +161,6 @@ in {
bank
borrow
seafileClient
irc
manpages