Bug#547753: scripts are bash-scripts now

[Christoph Anton Mitterer]

Hi Raphael.

The scripts are marked as bash scripts (#!/bin/bash) now and  
checkbashisms skips them.

Can we close this bug, or would you like to convert them to sh-scripts?

If the latter, I suggest we forward this upstream.


Cheers,
Chris.

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.