Re: .gitignore Improvement Suggestion

Hi

On Sun, Jan 15, 2017 at 4:00 AM, Jonas Thelemann
<e-mail(at)jonas-thelemann(dot)de> wrote:
> Good day pga-hackers,
>
> while playing around with the source and Git I found out that building an
> executable on my Raspberry Pi creates a file called "pgAdmin4" in the
> runtime folder. The .gitignore file in the same folder only mentions a
> "pgadmin4" file without a capital "a" in its name.
>
> As I'm new to this project it could well be that this was changed in one of
> the last commits of which I have no knowledge. Because it's just a small
> change to fix this potentially new and probably unwanted error I attached
> the fix to this mail. I also put all lines in the .gitignores in
> alphabetical order to make them easier to read and to prevent duplicate
> lines.
>
> No matter if only the real fix is going to get accepted or the reordering
> too: did I submit the .diff (patch) correctly? I'm new to Git via the
> command line as you already know. Please tell me, if I made any mistakes.

It all looks good to me - patch committed, thanks!

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company