Steve Long wrote:
insinto /usr/share/doc/${P}/examples
Is there any chance we can start using correctly quoted filenames across the
board?

Since when is ${P} allowed to have spaces?

Besides being faster (quote the whole thing)

Have you done a benchmark certifying that "/usr/share/doc/${P}/examples" is faster than /usr/share/doc/${P}/examples?

more useful error messages in the case of a dev/user slip-up

Could you elaborate?

They also highlight better in a capable editor.[1]

Please elaborate.

Cheers,
-jkt

--
cd /local/pub && more beer > /dev/mouth

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to