diff options
| author | Peter Hoeg <peter@hoeg.com> | 2023-11-01 11:05:54 +0100 |
|---|---|---|
| committer | Peter Hoeg <peter@hoeg.com> | 2023-11-30 20:45:30 +0100 |
| commit | 5f4ee9b5feafa94430a1e2d4520fc73caf187200 (patch) | |
| tree | 1179744b50ff3290dc370d07e18f4d276322ac4a /pkgs/tools/typesetting | |
| parent | 437ced8331f8db91a30decf563d02b354f292e7b (diff) | |
| download | nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar.gz nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar.bz2 nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar.lz nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar.xz nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.tar.zst nixlib-5f4ee9b5feafa94430a1e2d4520fc73caf187200.zip | |
pdf2odt: 20170207 -> 20220827
Diffstat (limited to 'pkgs/tools/typesetting')
| -rw-r--r-- | pkgs/tools/typesetting/pdf2odt/default.nix | 60 | ||||
| -rw-r--r-- | pkgs/tools/typesetting/pdf2odt/use_mktemp.patch | 19 |
2 files changed, 0 insertions, 79 deletions
diff --git a/pkgs/tools/typesetting/pdf2odt/default.nix b/pkgs/tools/typesetting/pdf2odt/default.nix deleted file mode 100644 index e0063d2f72e8..000000000000 --- a/pkgs/tools/typesetting/pdf2odt/default.nix +++ /dev/null @@ -1,60 +0,0 @@ -{ lib -, resholve -, fetchFromGitHub -, bc -, coreutils -, file -, gawk -, ghostscript -, gnused -, imagemagick -, zip -, bash -, findutils -}: - -resholve.mkDerivation rec { - pname = "pdf2odt"; - version = "20170207"; - - src = fetchFromGitHub { - owner = "gutschke"; - repo = "pdf2odt"; - rev = "4533bd14306c30c085001db59dbb8114ea09c360"; - sha256 = "14f9r5f0g6jzanl54jv86ls0frvspka1p9c8dy3fnriqpm584j0r"; - }; - - patches = [ ./use_mktemp.patch ]; - - installPhase = '' - install -Dm0755 pdf2odt -t $out/bin - install -Dm0644 README.md LICENSE -t $out/share/doc/pdf2odt - - ln -rs $out/bin/pdf2odt $out/bin/pdf2ods - ''; - solutions = { - default = { - scripts = [ "bin/pdf2odt" ]; - interpreter = "${bash}/bin/bash"; - inputs = [ - coreutils - bc - file - imagemagick - gawk - gnused - ghostscript - zip - findutils - ]; - }; - }; - - meta = with lib; { - description = "PDF to ODT format converter"; - homepage = "https://github.com/gutschke/pdf2odt"; - license = licenses.mit; - platforms = platforms.all; - maintainers = with maintainers; [ peterhoeg ]; - }; -} diff --git a/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch b/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch deleted file mode 100644 index 1425aa5ae6a3..000000000000 --- a/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch +++ /dev/null @@ -1,19 +0,0 @@ -diff --git a/pdf2odt b/pdf2odt -index d38bb07..e1ddf05 100755 ---- a/pdf2odt -+++ b/pdf2odt -@@ -173,13 +173,7 @@ if [ -e "${out}" ] && - fi - - # Set up temporary staging directory --TMPDIR="/tmp/pdf2odt.$$" --[ \! -e "${TMPDIR}" ] || { -- echo "Staging directory ${TMPDIR} already exists" >&2 -- exit 1 --} --trap 'rm -rf "${TMPDIR}"' EXIT INT TERM QUIT HUP --mkdir -p "${TMPDIR}" -+TMPDIR=$(mktemp -d) - - # Adjust DPI so that the image fits on a letter- or a4-sized page. - function scale() { |