Processing commands for [email protected]: > retitle 318117 bash: prints Terminated for jobs killed by signal when > noninteractive Bug #318117 [bash] bash: signal handling or man page deficiency Changed Bug title to 'bash: prints Terminated for jobs killed by signal when noninteractive' from 'bash: signal handling or man page deficiency' > tags 318117 + upstream Bug #318117 [bash] bash: prints Terminated for jobs killed by signal when noninteractive Added tag(s) upstream. > severity 318117 wishlist Bug #318117 [bash] bash: prints Terminated for jobs killed by signal when noninteractive Severity set to 'wishlist' from 'normal'
> found 318117 bash/4.1-3 Bug #318117 [bash] bash: prints Terminated for jobs killed by signal when noninteractive Bug Marked as found in versions bash/4.1-3. > # [1] > forwarded 318117 > http://thread.gmane.org/gmane.comp.shells.bash.bugs/13711/focus=13741 Bug #318117 [bash] bash: prints Terminated for jobs killed by signal when noninteractive Set Bug forwarded-to-address to 'http://thread.gmane.org/gmane.comp.shells.bash.bugs/13711/focus=13741'. > quit Stopping processing here. Please contact me if you need assistance. -- 318117: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=318117 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
