<!DOCTYPE html>
<html>
<head>
<title></title>
<style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style>
</head>
<body><div style="font-family:Arial;">On Wed, Jan 3, 2018, at 03:45, H.-Dirk Schmitt wrote:<br></div>
<div style="font-family:Arial;">> On Mi, 2018-01-03 at 02:06 +0200, era eriksson wrote:<br></div>
<div style="font-family:Arial;">> > Code outline for an emacs batch wrapper<br></div>
<div style="font-family:Arial;">>            ^^^^<br></div>
<div style="font-family:Arial;">> I do not insist on bash – you are free to fix it in any programming<br></div>
<div style="font-family:Arial;">> language ;-)<br></div>
<div style="font-family:Arial;"><br></div>
<div style="font-family:Arial;">A fair amont of work has gone into making the core system work without Bash. If you want this proposal to succeed, it woud seem important to demonstrate a good understanding of the surrounding system and the needs of our users.<br></div>
<div style="font-family:Arial;"><br></div>
<div style="font-family:Arial;">I'll be happy to try to convert this script into POSIX sh or at least Dash-compatible code if the maintainers agree that this is a good way forward, but so far, my impression is that they are unconvinced, or perhaps just waiting to see if this evolves into a serious proposal.<br></div>
<div style="font-family:Arial;"><br></div>
<div style="font-family:Arial;">The compilation bug you originally reported does not seem to affect other users, and at least I am still wondering if there is a way to trigger it which is likely to happen again.<br></div>
<div style="font-family:Arial;"><br></div>
<div style="font-family:Arial;">However, I think it would be useful to improve package compilation, with an eye towards making bug reporting easier and eventually somewhat more scriptable, perhaps with some way for Ubuntu's Apport system and eventually even some Debian-native replacement to hook in and fetch logs etc.<br></div>
<div style="font-family:Arial;"><br></div>
<div style="font-family:Arial;">I'm just thinking out loud here; sorry if this comes across as a rant.<br></div>
<div id="sig930944"><div class="signature"><br></div>
<div class="signature">/* era */<br></div>
<div class="signature"><br></div>
<div class="signature">--<br></div>
<div class="signature">If this were a real .signature, it would suck less.  Well, maybe not.<br></div>
</div>
<div style="font-family:Arial;"><br></div>
</body>
</html>