diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2016-07-27 05:36:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-27 05:36:20 +0200 |
commit | 096ea41b68b515c3c6a7841c2d6808cf88afa6d2 (patch) | |
tree | 3d8c7b9c43a44f4665ba44c52b02d0662830e0e8 /pkgs/tools | |
parent | ad127bb55d23cb7450c111ce8bc29c76097faf2c (diff) | |
parent | 2ea24072ae07cda49ff56d6affbf9e14fba9d3b5 (diff) | |
download | nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar.gz nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar.bz2 nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar.lz nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar.xz nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.tar.zst nixlib-096ea41b68b515c3c6a7841c2d6808cf88afa6d2.zip |
Merge pull request #17275 from peterhoeg/pdf2odt
pdf2odt: init at 2014-12-17
Diffstat (limited to 'pkgs/tools')
-rw-r--r-- | pkgs/tools/typesetting/pdf2odt/default.nix | 51 | ||||
-rw-r--r-- | pkgs/tools/typesetting/pdf2odt/use_mktemp.patch | 19 |
2 files changed, 70 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/pdf2odt/default.nix b/pkgs/tools/typesetting/pdf2odt/default.nix new file mode 100644 index 000000000000..4f798702101b --- /dev/null +++ b/pkgs/tools/typesetting/pdf2odt/default.nix @@ -0,0 +1,51 @@ +{ stdenv, lib, makeWrapper, fetchFromGitHub +, bc, coreutils, file, gawk, ghostscript, gnused, imagemagick, zip }: + +stdenv.mkDerivation rec { + version = "2014-12-17"; + name = "pdf2odt-${version}"; + + src = fetchFromGitHub { + owner = "gutschke"; + repo = "pdf2odt"; + rev = "master"; + sha256 = "14f9r5f0g6jzanl54jv86ls0frvspka1p9c8dy3fnriqpm584j0r"; + }; + + dontStrip = true; + + nativeBuildInputs = [ makeWrapper ]; + + path = lib.makeBinPath [ + bc + coreutils + file + gawk + ghostscript + gnused + imagemagick + zip + ]; + + patches = [ ./use_mktemp.patch ]; + + installPhase = '' + mkdir -p $out/bin $out/share/doc + + install -m0755 pdf2odt $out/bin/pdf2odt + ln -rs $out/bin/pdf2odt $out/bin/pdf2ods + + install -m0644 README.md LICENSE -t $out/share/doc + + wrapProgram $out/bin/pdf2odt --prefix PATH : ${path} + ''; + + meta = with stdenv.lib; { + description = "PDF to ODT format converter"; + homepage = http://github.com/gutschke/pdf2odt; + license = licenses.mit; + platforms = platforms.all; + maintainers = with maintainers; [ peterhoeg ]; + inherit version; + }; +} diff --git a/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch b/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch new file mode 100644 index 000000000000..1425aa5ae6a3 --- /dev/null +++ b/pkgs/tools/typesetting/pdf2odt/use_mktemp.patch @@ -0,0 +1,19 @@ +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() { |