Ubuntu
texmacs package

  1. Bug #58498
  2. Comment #8

Comment 8 for bug 58498

Revision history for this message
jan2ary (jan2ary) wrote :

As a workaround:
$ sudo dpkg-reconfigure dash
and choose <No> to set /bin/sh -> bash