From: Gayan Weerakutti <gayan@linuxdeveloper.space>
Date: Sun, 4 Mar 2018 18:14:46 +0000 (+0530)
Subject: Improve .gitignore file
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=1b1d8ec323d69ab67744e3eb1a8face0b2061838;p=jpf-core.git

Improve .gitignore file

Add new entries to ignore IDE/OS and auto generated files.
---

diff --git a/.gitignore b/.gitignore
index 345194d..5607bfc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,17 +1,62 @@
-.hg
-.hgignore
 local.properties
 .version
-.idea/workspace.xml
-.idea/fileColors.xml
-.idea/uiDesigner.xml
-nbproject/private/*
-build/*
-dist/*
-tmp/*
+
+####### General #######
 trace
 activity*.png
 *.class
 *.orig
 *~
 *.DS_Store
+
+####### Ant #######
+build/
+
+####### Covers NetBeans IDE #######
+nbproject/private/
+nbbuild/
+dist/
+nbdist/
+.nb-gradle/
+
+####### Covers Eclipse IDE #######
+.metadata
+tmp/
+*.tmp
+*.bak
+*.swp
+*~.nib
+.settings/
+.loadpath
+.recommenders
+
+####### Covers JetBrains IDE: IntelliJ #######
+
+# User-specific stuff:
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+.idea/dictionaries
+.idea/ant.xml
+
+# Sensitive or high-churn files:
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+
+# Gradle:
+.idea/**/gradle.xml
+.idea/**/libraries
+
+## File-based project format:
+*.iws
+
+## Plugin-specific files:
+
+# IntelliJ
+out/
+
+# JIRA plugin
+atlassian-ide-plugin.xml