Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: "gtar" is default name in Homebrew;
authorwenzelm
Wed, 05 Dec 2018 23:20:55 +0100
changeset 69407 7742cace5dd9
parent 69406 5e5f1109c783
child 69408 fb26935838c7
more robust: "gtar" is default name in Homebrew;
lib/scripts/getfunctions file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getfunctions	Wed Dec 05 23:15:23 2018 +0100
+++ b/lib/scripts/getfunctions	Wed Dec 05 23:20:55 2018 +0100
@@ -25,6 +25,10 @@
 then
   function tar() { gnutar "$@"; }
   export -f tar
+elif type -p gtar >/dev/null
+then
+  function tar() { gtar "$@"; }
+  export -f tar
 fi
 
 #OCaml management via OPAM
isabelle