From 0fd1e0fa450b82900b75b68c9649c0c9ad9e2024 Mon Sep 17 00:00:00 2001
From: Salim B <20040931+salim-b@users.noreply.github.com>
Date: Mon, 6 Nov 2017 02:46:18 +0100
Subject: [PATCH] update commands to extract deb archive on Linux (#4043)
Since Pandoc v2.0 the xz instead of gz format is used for the data archive inside the deb (`data.tar.xz`) and the old commands to extract a gzip archive fail.
---
INSTALL.md | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/INSTALL.md b/INSTALL.md
index 8905d856e..c17023a38 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -74,6 +74,10 @@
- If you use an RPM-based distro, you may be
able to install the deb from our download page
using `alien`. Or try
+
+ ar p $DEB data.tar.xz | sudo tar xvJ --strip-components 2 -C /usr/local
+
+ For Pandoc versions before 2.0 try instead
ar p $DEB data.tar.gz | sudo tar xvz --strip-components 2 -C /usr/local
@@ -81,9 +85,13 @@
in `$HOME/.local`, then you can unzip the tarball or
extract the files manually from the deb:
- ar p $DEB data.tar.gz | tar xvz --strip-components 2 -C $HOME/.local/
+ ar p $DEB data.tar.xz | tar xvJ --strip-components 2 -C $HOME/.local/
where, again, `$DEB` is the path to the downloaded deb.
+
+ For Pandoc versions before 2.0 try instead
+
+ ar p $DEB data.tar.gz | sudo tar xvz --strip-components 2 -C /usr/local
- If the version in your repository is too old and you cannot
use the deb we provide, you can install from source, using the