PonyMirrors/ponysay
1
0
Fork 0
mirror of https://github.com/erkin/ponysay.git synced 2024-11-29 23:48:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

configure fix

Browse source
This commit is contained in:
Mattias Andrée 2012-08-20 18:43:08 +02:00
parent 1f2d6a5322
commit 22963aebbc
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
configure vendored
View file

@ -155,6 +155,7 @@ echo
echo
[ ! "$installPdf" = '' ] || echo "Skipping PDF manual, add option --with-pdf to install"
[ ! "$installInfo" = '' ] || echo "Skipping info manual"
[ ! "$installInfoInstall" = '' ] || echo "Skipping info manual installation with info-install"
[ ! "$installMan" = '' ] || echo "Skipping English manpage manual"
[ ! "$installManEs" = '' ] || echo "Skipping Spanish manpage manual, add option --with-man-es to install"
[ ! "$installBash" = '' ] || echo "Skipping autocompletion for GNU Bash"
@ -180,8 +181,9 @@ function makeMakefile()
correctPrefix 'ponysay'
echo -en '\t' ; echo 'if (( `env python --version 2>&1 | cut -d " " -f 2 | cut -d "." -f 1` < 3 )); then \'
echo -en '\t' ; echo ' mv "ponysay.install" "ponysay.install~" ;\'
echo -en '\t' ; echo ' sed -e '\''s/bin\/env python/bin\/env python3/g'\'' < "ponysay.install~" > "ponysay.install" ;\'
echo -en '\t' ; echo ' sed -e '\''s/bin\/env python/bin\/env python3/'\'' < "ponysay.install~" > "ponysay.install" ;\'
echo -en '\t' ; echo 'fi'
echo -en '\t' ; echo 'chmod 755 "ponysay.install"'
echo
echo "quotes:"
@ -296,7 +298,7 @@ function makeMakefile()
'| |___/ |___/ |\\n'\\
'\\\\--------------------------------------------------/'
EOF
echo -en '\t' ; echo '@echo dummy | ./ponysay -f ./`if [[ "$$TERM" = "linux" ]]; then echo ttyponies; else echo ponies; fi`/pinkiecannon.pony | tail --lines=30 ; echo -e \\n'
echo -en '\t' ; echo '@echo dummy | ./ponysay.install -f ./`if [[ "$$TERM" = "linux" ]]; then echo ttyponies; else echo ponies; fi`/pinkiecannon.pony | tail --lines=30 ; echo -e \\n'
echo
echo 'uninstall:'