On Fri, Sep 18, 2020 at 1:43 AM Sebastian Huber
wrote:
>
> On 18/09/2020 09:42, Chris Johns wrote:
>
> > On 18/9/20 2:46 pm, Sebastian Huber wrote:
> >> On 17/09/2020 20:55, Gedare Bloom wrote:
> >>
> >>> ping: decision needed--should we git-ignore .ini everywhere, .ini in
> >>> top-level, or just
On 18/09/2020 09:42, Chris Johns wrote:
On 18/9/20 2:46 pm, Sebastian Huber wrote:
On 17/09/2020 20:55, Gedare Bloom wrote:
ping: decision needed--should we git-ignore .ini everywhere, .ini in
top-level, or just the default config.ini in top-level?
I tend to ignore the top-level *.ini files.
On 18/9/20 2:46 pm, Sebastian Huber wrote:
> On 17/09/2020 20:55, Gedare Bloom wrote:
>
>> ping: decision needed--should we git-ignore .ini everywhere, .ini in
>> top-level, or just the default config.ini in top-level?
> I tend to ignore the top-level *.ini files.
Then maybe git should also do th
On 17/09/2020 20:55, Gedare Bloom wrote:
ping: decision needed--should we git-ignore .ini everywhere, .ini in
top-level, or just the default config.ini in top-level?
I tend to ignore the top-level *.ini files.
___
devel mailing list
devel@rtems.org
ht
ping: decision needed--should we git-ignore .ini everywhere, .ini in
top-level, or just the default config.ini in top-level?
On Mon, Sep 14, 2020 at 6:51 PM Chris Johns wrote:
>
> On 15/9/20 9:52 am, Gedare Bloom wrote:
> > hah, yes. In rtems.git with the new build system it seems the workflow
>
On 15/9/20 9:52 am, Gedare Bloom wrote:
> hah, yes. In rtems.git with the new build system it seems the workflow
> is to create a .ini file in your top-level source directory to control
> the build. We should not include those ini files in version control I
> think?
The INI files do not need to be
hah, yes. In rtems.git with the new build system it seems the workflow
is to create a .ini file in your top-level source directory to control
the build. We should not include those ini files in version control I
think?
I meant to start a discussion, then I went for a bicycle ride and forgot.
-Ged
Hi Gedare,
Which repo is this for? I suspect rtems.git but I thought it best to ask.
Chris
On 15/9/20 3:43 am, Gedare Bloom wrote:
> ---
> .gitignore | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/.gitignore b/.gitignore
> index d7ca74b338..8b28b186e1 100644
> --- a/.gitignore
> +++
---
.gitignore | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitignore b/.gitignore
index d7ca74b338..8b28b186e1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@ autom4te.cache
config.h.in
configure
doc
+/*.ini
.lock*
Makefile.in
*.pyc
--
2.17.1
_
