[m-rev.] Added vim directory to distribution
Fergus Henderson
fjh at cs.mu.OZ.AU
Wed Mar 13 19:02:48 AEDT 2002
On 13-Mar-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Files and instructions for adding Mercury syntax highlighting under Vim.
...
> Index: mercuryhdr.sh
> ===================================================================
> RCS file: mercuryhdr.sh
> diff -N mercuryhdr.sh
> --- /dev/null 1 Jan 1970 00:00:00 -0000
> +++ mercuryhdr.sh 13 Mar 2002 07:11:49 -0000
> @@ -0,0 +1,35 @@
> +#!/bin/sh
> +
> +cat <<EOF
> +%------------------------------------------------------------------------------%
> +% $1
> +% $([ -n "$USERNAME" ] && echo $USERNAME "")<$USER@$(hostname -d)>
Using `whoami` is probably more reliable than checking $USERNAME
$(...) is a bash-ism. Use `...` instead.
> +% $(date)
...
> +:- module $(echo $1 | sed 's/\./__/g;s/__m$//').
Likewise here.
Otherwise that change looks fine.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list