GNU TeXmacs - Bugs: bug #18519, plugins depend on bash but use...
You are not allowed to post comments on this tracker with your current authentication level.
bug #18519: plugins depend on bash but use #!/bin/sh
Submitter: | -Deleted Account- <adrianmatematico> | ||
Submitted: | Wed 13 Dec 2006 06:30:13 PM UTC | ||
Category: | Plugins | Priority: | 5 - Normal |
Item Group: | Error | Status: | Wont Fix |
Privacy: | Public | Assigned to: | grozin |
Originator Name: | Open/Closed: | Closed | |
Release: | None | Release: | 1.0.6.7 |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Thu 28 Nov 2013 10:57:05 PM UTC, comment #3: |
Joris van der Hoeven <vdhoeven> |
Sat 30 Dec 2006 12:50:01 AM UTC, comment #2: In the file
|
-Deleted Account- <adrianmatematico> |
Wed 13 Dec 2006 06:38:54 PM UTC, comment #1: This is for release 1.0.6.7
|
-Deleted Account- <adrianmatematico> |
Wed 13 Dec 2006 06:30:13 PM UTC, original submission:
In Ubuntu Edgy Eft, /bin/sh is no longer a link to /bin/bash but rather to /bin/dash, and some scripts brake, since they do need bash. Here is a list of files that might need revision to ensure that they work with /bin/dash or to change them to use /bin/bash:
|
-Deleted Account- <adrianmatematico> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 7 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2013-11-28 | vdhoeven | Status | None | Wont Fix | |
Assigned to | None | grozin | |||
Open/Closed | Open | Closed | |||
2006-12-18 | fbreuer | Category | None | Plugins | |
Item Group | None | Error | |||
Release | 1.0.6.7 | ||||
Summary | Several bugs in Ubuntu Edgy Eft.(e.g. Maxima, and plots) | plugins depend on bash but use #!/bin/sh |
Powered by Savane 3.13-4448.
Corresponding source code
This issue regularly comes up once and a while. Both solutions (bash and sh) seem to have their advantages and disadvantages. The shell plug-in seems to work fine on most systems, so I will leave things as they are... Andrey, please re-open if necessary.