rename develserver to devel
diff --git a/xos/configurations/develserver/Dockerfile.develserver b/xos/configurations/devel/Dockerfile.devel
similarity index 77%
rename from xos/configurations/develserver/Dockerfile.develserver
rename to xos/configurations/devel/Dockerfile.devel
index 6e0d149..e44891a 100644
--- a/xos/configurations/develserver/Dockerfile.develserver
+++ b/xos/configurations/devel/Dockerfile.devel
@@ -4,6 +4,6 @@
ADD xos/configurations/common/cloudlab-nodes.yaml /opt/xos/configurations/commmon/
ADD xos/configurations/common/id_rsa.pub /root/setup/padmin_public_key
-CMD /usr/bin/make -C /opt/xos/configurations/develserver -f Makefile.inside; /bin/bash
+CMD /usr/bin/make -C /opt/xos/configurations/devel -f Makefile.inside; /bin/bash
#CMD ["/bin/bash"]
diff --git a/xos/configurations/develserver/Makefile b/xos/configurations/devel/Makefile
similarity index 81%
rename from xos/configurations/develserver/Makefile
rename to xos/configurations/devel/Makefile
index e2ec5bd..9af50af 100644
--- a/xos/configurations/develserver/Makefile
+++ b/xos/configurations/devel/Makefile
@@ -2,8 +2,8 @@
EXISTING_CONTAINER:=$(shell sudo docker ps|grep "xos"|awk '{print $$NF}')
test: common_cloudlab
- cat ../common/Dockerfile.common Dockerfile.develserver > Dockerfile
- cd ../../..; sudo docker build -t xos -f xos/configurations/develserver/Dockerfile .
+ cat ../common/Dockerfile.common Dockerfile.devel > Dockerfile
+ cd ../../..; sudo docker build -t xos -f xos/configurations/devel/Dockerfile .
sudo docker run -d --add-host="0.0.0.0:$(MYIP)" -p 9999:8000 xos
bash ../common/wait_for_xos.sh
diff --git a/xos/configurations/develserver/Makefile.inside b/xos/configurations/devel/Makefile.inside
similarity index 100%
rename from xos/configurations/develserver/Makefile.inside
rename to xos/configurations/devel/Makefile.inside
diff --git a/xos/configurations/develserver/README b/xos/configurations/devel/README
similarity index 100%
rename from xos/configurations/develserver/README
rename to xos/configurations/devel/README