Permalink
Browse files

Remove use of Bash deprecated features from bundled scripts

  • Loading branch information...
pmoura committed Jan 6, 2018
1 parent a13cb80 commit e92f99645e8e4feff5ae88ad85e4dc4165c3c137
View
@@ -24,7 +24,17 @@ RELEASE NOTES
3.14.1 - February ??, 2018
==========================
Prolog adapter and integration files
------------------------------------
* UPDATED: Removed use of Bash deprecated features from the Prolog integration
scripts.
Tools
-----
* UPDATED: Removed use of Bash deprecated features from the `lgtdoc` tool
helper scripts.
3.14.0 - January 4, 2018
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for B-Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec bp -i "$LOGTALKHOME/integration/logtalk_bp.pl" "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for CxProlog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec cxprolog --script "$LOGTALKHOME/integration/logtalk_cx.pl" "$@"
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for ECLiPSe
## Last updated on August 23, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec eclipse -L iso -t user -f "$LOGTALKHOME/integration/logtalk_eclipse.pl" "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for GNU Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,9 +94,9 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
operating_system=`uname -s`
operating_system=$(uname -s)
if [ "${operating_system:0:10}" == "MINGW32_NT" ] ; then
# assume that we're running on Windows using the Git for Windows bash shell
export LINEDIT='gui=no'
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for JIProlog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec java -jar -DLOGTALKHOME="$LOGTALKHOME" -DLOGTALKUSER="$LOGTALKUSER" -DHOME="$HOME" "$JIP_HOME/jipconsole.jar" -c "$LOGTALKHOME/integration/logtalk_ji.pl" "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for Lean Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec lprolog "['$LOGTALKHOME/integration/logtalk_lean']" $1 $2 $3 $4 $5 $6 $7 $8
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for Qu-Prolog
## Last updated on February 25, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec qp -s 3072 -d 3072 -h 8192 -e 256 -C 256 -H 1536 -l "$LOGTALKHOME/integration/logtalk_qp.pl" "$@"
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for Quintus Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec prolog +l "$LOGTALKHOME/integration/logtalk_quintus.pl" +z "$LOGTALKHOME" "$LOGTALKUSER" "$LOGTALK_STARTUP_DIRECTORY" "$@"
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for SICStus Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec sicstus -l "$LOGTALKHOME/integration/logtalk_sicstus.pl" "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for SWI-Prolog
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -79,8 +79,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -94,6 +94,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec swipl -s "$LOGTALKHOME/integration/logtalk_swi.pl" "$@"
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for Ciao
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec ciaosh -l "$LOGTALKHOME/integration/logtalk_ciao.pl" "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for XSB
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec xsb -l -e "['$LOGTALKHOME/integration/logtalk_xsb.pl']." "$@"
View
@@ -3,7 +3,7 @@
#############################################################################
##
## Integration script for XSB-MT
## Last updated on February 22, 2017
## Last updated on February 6, 2018
##
## This file is part of Logtalk <http://logtalk.org/>
## Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>
@@ -78,8 +78,8 @@ if [ -d "$LOGTALKUSER" ]; then
echo "Creating an up-to-date Logtalk user directory..."
logtalk_user_setup
else
system_version=`cat "$LOGTALKHOME/VERSION.txt"`
user_version=`cat "$LOGTALKUSER/VERSION.txt"`
system_version=$(cat "$LOGTALKHOME/VERSION.txt")
user_version=$(cat "$LOGTALKUSER/VERSION.txt")
if [ "$user_version" \< "$system_version" ]; then
echo "Logtalk user directory at $LOGTALKUSER is outdated: "
echo " $user_version < $system_version"
@@ -93,6 +93,6 @@ else
logtalk_user_setup
fi
export LOGTALK_STARTUP_DIRECTORY=`pwd`
export LOGTALK_STARTUP_DIRECTORY=$(pwd)
exec xsb-mt --shared_predicates -l -e "['$LOGTALKHOME/integration/logtalk_xsbmt.pl']." "$@"
Oops, something went wrong.

0 comments on commit e92f996

Please sign in to comment.