In /usr/bin/fricas line 34:
HOST=`hostname`
     ^--------^ SC2006: Use $(...) notation instead of legacy backticked `...`.

Did you mean: 
HOST=$(hostname)


In /usr/bin/fricas line 88:
if [ -z ${ALDOR_COMPILER} ]; then
        ^---------------^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
if [ -z "${ALDOR_COMPILER}" ]; then


In /usr/bin/fricas line 89:
    if [ -x ${exec_prefix}/bin/aldor ]; then
            ^------------^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
    if [ -x "${exec_prefix}"/bin/aldor ]; then


In /usr/bin/fricas line 133:
if [ ! -f $AXIOM/lib/viewman ] ; then
          ^----^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
if [ ! -f "$AXIOM"/lib/viewman ] ; then


In /usr/bin/fricas line 173:
                    npar=`echo "$1" | sed $patt`
                         ^---------------------^ SC2006: Use $(...) notation instead of legacy backticked `...`.
                                          ^---^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
                    npar=$(echo "$1" | sed "$patt")


In /usr/bin/fricas line 192:
        ls -l $2 | grep "sys$"
        ^-- SC2010: Don't use ls | grep. Use a glob or a for loop with a condition to allow non-alphanumeric filenames.
              ^-- SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
        ls -l "$2" | grep "sys$"


In /usr/bin/fricas line 197:
          listwspaces "FriCAS workspaces in \$AXIOM/bin = $rootwsdir: " $rootwsdir
                                                                        ^--------^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
          listwspaces "FriCAS workspaces in \$AXIOM/bin = $rootwsdir: " "$rootwsdir"


In /usr/bin/fricas line 202:
if [ `expr $wsname : '.*/.*'` = 0 ] ; then
     ^----------------------^ SC2046: Quote this to prevent word splitting.
     ^----------------------^ SC2006: Use $(...) notation instead of legacy backticked `...`.
           ^-----^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
if [ $(expr "$wsname" : '.*/.*') = 0 ] ; then


In /usr/bin/fricas line 208:
if [ ! -f $serverws ] ; then
          ^-------^ SC2086: Double quote to prevent globbing and word splitting.

Did you mean: 
if [ ! -f "$serverws" ] ; then

For more information:
  https://www.shellcheck.net/wiki/SC2010 -- Don't use ls | grep. Use a glob o...
  https://www.shellcheck.net/wiki/SC2046 -- Quote this to prevent word splitt...
  https://www.shellcheck.net/wiki/SC2086 -- Double quote to prevent globbing ...