Re: shell-script-mode gets lost in small repro

[Stefan Monnier]

> Type the following in a buffer in shell-script-mode:

> #!/bin/bash
> while false ; do
>    echo "server $(hostname), $(date)" |
>    mail -s "Alert: Almost out of disk space $usep%" $ADMIN
> done

> Note that shell-script-mode gets lost at the "mail" line, thinking it
> is some kind of pre-formatted text.  Really obvious in font-lock-mode,
> or if you try to indent the "mail" line using TAB.

> Removing $(date) from the line before works around the problem.

Thanks, it should be fixed in the CVS trunk now,


        Stefan