On Wednesday 23 June 2010 22:16:13 Eric Noulard wrote:
> 2010/6/19 Julia Lawall <[email protected]>:
> > 0.2.3rc3 is now available.
>
> There is a small installation problem in this release, when
> trying to install the bash_completion file the prefix (from --prefix)
> is not honored
> and one tries to install in /etc/bash_completion.d:
>
>
> mkdir -p /etc/bash_completion.d
> install -c -m 644 scripts/spatch.bash_completion \
> /etc/bash_completion.d/spatch
> install: impossible de créer le fichier standard «
> /etc/bash_completion.d/spatch »: Permission non accordée
>
Thank you for the report.
I will make a separated target, that must be called explicitly,
to install that file automatically. User will otherwise have to install it
manually.
I see two reasons to do that:
- /etc is expected to be used for the /usr prefix while using $prefix/etc
is for other prefix
- It will be confusing to install that file somewhere else automatically.
Are you ok with that proposition ?
PS: Concerning patches on Coccinelle, you can build them against the latest
version
available and submit them on the mailing list.
--
Nicolas Palix
Web: http://www.diku.dk/~npalix/
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)