Bug 30533 - cyi uses bashism, needs the corresponding shebang
: cyi uses bashism, needs the corresponding shebang
Status: NEW
: Branch 5.1
(All bugs in Branch 5.1/curry)
: unspecified
: all Linux
: P3 normal
Assigned To:
:
:
:
:
:
  Show dependency tree
 
Reported: 2014-12-03 16:41 by
Modified: 2014-12-03 16:41 (History)


Attachments


Note

You need to log in before you can comment on or make changes to this bug.


Description From 2014-12-03 16:41:02
curry-0.9.11-alt1

There are problems with the interactive REPL interface (arrow keys don't work,
"history" command not found):

$ cyi
    _____ __ __
   / ___/ |  / _               Muenster Curry Compiler
  / /     | / | |              Version 0.9.11, Copyright (c) 1998-2007
 / /___  / /  | |
 \____/ /_/   |_|              Type :h for help

/usr/bin/cyi: line 341: history: команда не найдена
Prelude> 

This stems from the script having a wrong shebang (not bash despite relying on
bash's features):

$ head /usr/bin/cyi
#! /bin/sh
# cyi.  Generated from cyi.in by configure.
#
# A poor (wo)man's interactive top-level for Curry
#
# $Id: cyi.in 2230 2007-06-06 12:35:43Z wlux $
#
# Copyright (c) 2002-2007, Wolfgang Lux
# See LICENSE for the full license.
#
$