Looking for setup.py to find where's the project root

Sergio Oliveira
1 parent 7c842494
Showing 1 changed file with 6 additions and 5 deletions Show diff stats
vagrant/bootstrap.sh
@@ -2,11 +2,12 @@
  
 set -e
  
-if [ -d /vagrant/colab ]; then
-  basedir=/vagrant/colab
-else
-  basedir=/vagrant
-fi
+for dir in /vagrant/colab /vagrant; do
+    if [ -f $dir/setup.py ]; then
+        basedir="$dir"
+        break
+    fi
+done
  
 # very simple OS detection
 if [ -x /usr/bin/apt-get ]; then
...	...	@@ -2,11 +2,12 @@
2	2
3	3	set -e
4	4
5		-if [ -d /vagrant/colab ]; then
6		- basedir=/vagrant/colab
7		-else
8		- basedir=/vagrant
9		-fi
	5	+for dir in /vagrant/colab /vagrant; do
	6	+ if [ -f $dir/setup.py ]; then
	7	+ basedir="$dir"
	8	+ break
	9	+ fi
	10	+done
10	11
11	12	# very simple OS detection
12	13	if [ -x /usr/bin/apt-get ]; then
...	...