On 06/19/2017 09:40 AM, Pavel Grunt wrote:
Hi,
On Sun, 2017-06-18 at 05:06 -0400, Frediano Ziglio wrote:
ping
no reply to Uri's questions?
Specifically, it's not clear why not ignore all .html files.
Uri.
----- Original Message -----
From: "Uri Lublin" <u...@redhat.com>
To: "Frediano Ziglio" <fzig...@redhat.com>, spice-de...@lists.free
desktop.org
Sent: Thursday, January 26, 2017 1:22:39 PM
Subject: Re: [Spice-devel] [PATCH spice-server v2] gitignore:
Reduce html files exclusion
On 01/26/2017 12:52 PM, Frediano Ziglio wrote:
ping
Limit the html files ignored.
Can happen that you are working on some html files on your
main
spice-server directory and it's not desirable to ignore them.
Hi Frediano,
How can that happen ? What html files one may work on ?
I'd add in the commit log that html files under docs/ are still
ignored (be more specific with above "Limit").
Uri.
Signed-off-by: Frediano Ziglio <fzig...@redhat.com>
---
.gitignore | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
Changes since v1:
- remove redundant ignore;
- move exclusion to get better order.
diff --git a/.gitignore b/.gitignore
index cac10f9..85f922b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,7 +4,6 @@
*.tar.bz2
*.tar.gz
*.pyc
-*.html
aclocal.m4
autom4te.cache
compile
@@ -34,7 +33,7 @@ INSTALL
.version
.tarball-version
docs/manual/manual.chunked/
-docs/manual/manual.html
+docs/**/*.html
.dirstamp
.deps
.libs
_______________________________________________
Spice-devel mailing list
Spice-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/spice-devel
_______________________________________________
Spice-devel mailing list
Spice-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/spice-devel
_______________________________________________
Spice-devel mailing list
Spice-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/spice-devel
