3 # Copyright (C) 2013-2019 Ole Tange and Free Software Foundation, Inc.
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 3 of the License, or
8 # (at your option) any later version.
10 # This script downloads the latest version of GNU Parallel, checks
11 # the signature and installs it.
13 # It first tries to install it globally.
14 # If that fails, it does a personal installation.
15 # If that fails, it copies to $HOME/bin
17 # You can download and run the script directly by:
18 # $ (wget -O - pi.dk/3 || lynx -source pi.dk/3 || curl pi.dk/3/ || \
19 # fetch -o - http://pi.dk/3) > install.sh
20 # $ sha1sum install.sh
22 # $ sha512sum install.sh
26 # FreeBSD prefers 'fetch', MacOS prefers 'curl', Linux prefers 'wget'
28 (lynx
-source /dev
/null
&& echo lynx
-source) ||
29 (fetch
-o /dev
/null
file:///bin
/sh
&& echo fetch
-o -) ||
30 (curl
-h >/dev
/null
&& echo curl
-L) ||
31 (wget
-h >/dev
/null
&& echo wget
-qO -) ||
32 echo 'No lynx, wget, curl, fetch: Please inform parallel@gnu.org what you use for downloading URLs' >&2
34 if test "$get" = ""; then
39 echo No perl installed. GNU Parallel depends on perl. Install perl and retry.
44 latest
=$
($get http
://ftpmirror.gnu.org
/parallel |
45 perl
-ne '/.*(parallel-\d{8})/ and print $1."\n"' |
46 perl
-e 'print ((reverse sort <>)[0])')
47 if test \
! -e $latest.
tar.bz2
; then
48 # Source tar does not exist
49 rm -f $latest.
tar.bz2
$latest.
tar.bz2.sig
50 $get http
://ftpmirror.gnu.org
/parallel
/$latest.
tar.bz2
> $latest.
tar.bz2
51 $get http
://ftpmirror.gnu.org
/parallel
/$latest.
tar.bz2.sig
> $latest.
tar.bz2.sig
55 if gpg
-h 2>/dev
/null
>/dev
/null
; then
57 # Setup .gnupg/gpg.conf if not already done
58 echo | gpg
2>/dev
/null
>/dev
/null
59 if gpg
--list-keys 0xFFFFFFF1 && gpg
--list-keys 0x88888888 ; then
64 keyserver1
=keys.gnupg.net
65 keyserver2
=pool.sks-keyservers.net
66 if gpg
--keyserver $keyserver1 --recv-key 0xFFFFFFF1 ||
67 gpg
--keyserver $keyserver2 --recv-key 0xFFFFFFF1 ; then
68 if gpg
--keyserver $keyserver1 --recv-key 0x88888888 ||
69 gpg
--keyserver $keyserver2 --recv-key 0x88888888; then
74 echo "Cannot fetch keyID 0x88888888, so the signature cannot be checked."
79 echo "Cannot fetch keyID 0xFFFFFFF1, so the signature cannot be checked."
86 echo "GnuPG (gpg) is not installed so the signature cannot be checked."
91 # Check signature - in case ftpmirror.gnu.org is compromised
93 if gpg
--with-fingerprint $latest.
tar.bz2.sig
2>&1 |
94 perl
-e 'exit not grep /^Primary key fingerprint: BE9C B493 81DE 3166 A3BC 66C1 2C62 29E2 FFFF FFF1|^Primary key fingerprint: CDA0 1A42 08C4 F745 0610 7E7B D1AB 4516 8888 8888/, <>'; then
95 # Source code signed by Ole Tange <ole@tange.dk>
96 # KeyID FFFFFFF1/88888888
99 # GnuPG signature failed
101 echo "The signature on $latest.tar.bz2 is wrong. This may indicate that a criminal has changed the code."
102 echo "THIS IS BAD AND THE CODE WILL NOT BE INSTALLED."
104 echo "See http://git.savannah.gnu.org/cgit/parallel.git/tree/README for other installation methods."
108 # GnuPG not installed or public keys not downloaded
109 echo "This means that if the code has been changed by criminals, you will not discover that!"
111 echo "Continue anyway? (y/n)"
113 if test "$YN" = "n"; then
122 bzip2 -dc $latest.
tar.bz2 |
tar xf
-
124 if .
/configure
&& make && make install; then
126 echo GNU
$latest installed globally
128 if .
/configure
--prefix=$HOME && make && make install; then
130 echo GNU
$latest installed
in $HOME/bin
134 cp src
/parallel src
/env_parallel
* src
/sem src
/sql src
/niceload src
/parcat
$HOME/bin
;
136 echo GNU
$latest copied to
$HOME/bin
139 # Is $HOME/bin already in $PATH?
140 if echo $PATH |
grep $HOME/bin
>/dev
/null
; then
141 # $HOME/bin is already in $PATH
144 # Add $HOME/bin to $PATH for both bash and csh
145 echo 'PATH=$PATH:$HOME/bin' >> $HOME/.bashrc
146 echo 'setenv PATH ${PATH}:${HOME}/bin' >> $HOME/.cshrc
149 # Is $HOME/share/man already in $MANPATH?
150 if echo $MANPATH |
grep $HOME/share
/man
>/dev
/null
; then
151 # $HOME/share/man is already in $MANPATH
154 # Add $HOME/share/man to $MANPATH for both bash and csh
155 echo 'MANPATH=$MANPATH:$HOME/share/man' >> $HOME/.bashrc
156 echo 'setenv MANPATH ${MANPATH}:${HOME}/share/man' >> $HOME/.cshrc
161 # Make sure the whole script is downloaded before starting