On 22.11.23 09:39, Jan Beulich wrote:
On 22.11.2023 09:31, Juergen Gross wrote:--- /dev/null +++ b/tools/python/.gitignore @@ -0,0 +1,4 @@ +build/*Are this and just build/ actually equivalent? Looking at our top-level .gitignore, I see e.g. extras/ and install/*, which I would expect want both treating the same? The form with a wildcard, to me at least, doesn't obviously include the directory itself ...
The .gitignore specification [1] suggests that we should use build/ (same for the new entry), as otherwise entries in subdirectories would not match. I'm not sure why "git status" doesn't show those files in deeper levels, but maybe I've misread the doc.
+xen.egg-info/* +xen/lowlevel/xl/_pyxl_types.c +xen/lowlevel/xl/_pyxl_types.hSince wildcards can be used here, how about just xen/lowlevel/xl/_pyxl_types.[ch]
Fine with me. Juergen [1]: https://git-scm.com/docs/gitignore
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
