From 7332585c16fee03b0bf582b0a03df2411010f2d0 Mon Sep 17 00:00:00 2001
From: Roland Haeder <rhaeder@cho-time.de>
Date: Mon, 22 Aug 2016 09:45:01 +0200
Subject: [PATCH] Ignored genfiles.properties + added new script:
Signed-off-by: Roland Haeder <rhaeder@cho-time.de>
---
.gitignore | 1 +
rm-jprojects.sh | 36 ++++++++++++++++++++++++++++++++++++
2 files changed, 37 insertions(+)
create mode 100644 rm-jprojects.sh
diff --git a/.gitignore b/.gitignore
index c5bf316..93a93d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
/nbproject/private/
+/nbproject/genfiles.properties
/nbproject/*~
/manifest.mf
/build/
diff --git a/rm-jprojects.sh b/rm-jprojects.sh
new file mode 100644
index 0000000..3614a68
--- /dev/null
+++ b/rm-jprojects.sh
@@ -0,0 +1,36 @@
+#!/bin/bash
+
+. ./.jprojects.sh || exit 255
+
+if [ -z "$1" ]
+then
+ echo "Usage $0 <file>"
+ exit 1
+fi
+
+for project in ${LIST}; do
+ if [ "${project}" = "jprojects-scripts" ]
+ then
+ echo "$0: Skipping jprojects-scripts ..."
+ continue
+ elif [ ! -d "${JPROJECTS_HOME}/${project}" ]
+ then
+ echo "$0: Project '${project}' does not exist."
+ continue
+ fi
+
+ cd "${JPROJECTS_HOME}/${project}" || exit 255
+
+ if [ -d "$1" ]
+ then
+ git rm -rf "$1"
+ elif [ -f "$1" ]
+ then
+ git rm -f "$1"
+ else
+ echo "$0: File/directory '$1' does not exist in '${project}."
+ fi
+done
+
+echo "$0: All done."
+exit 0
--
2.39.5