Merge pull request #2 from glatard/master

Minor updates
big-data-lab-team · Jun 27, 2020 · e5eca17 · e5eca17
2 parents 0e719a3 + 59865ab
commit e5eca17
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -2,8 +2,10 @@
 ![Sea logo](https://lh3.googleusercontent.com/_QD6PrqDMG50G8crgmnIa75jB3I4xnX1cREsHU-aQ0eTqAwBn4UoJ-NFwmVS6Q2xEXFqT2nQCNuhBf64NpuqDErX20Fd6iEKPAI1prmr)
 
 
-Sea can provide the speed up of apache spark but with no instrumentation.
-It is hierarchical filesystem implementation using LD_PRELOAD. Adapted from the passthrough found [XtreemOS](https://github.com/xtreemfs/xtreemfs).
+Sea can provide the speed up of [Apache Spark](http://spark.apache.org) but with no instrumentation.
+
+It is hierarchical filesystem implementation using LD_PRELOAD, adapted from
+the passthrough of [XtreemOS](https://github.com/xtreemfs/xtreemfs).
 
 ## Compilation
 
@@ -12,4 +14,5 @@ It is hierarchical filesystem implementation using LD_PRELOAD. Adapted from the
 ## Usage
 
 note: must first create a sea.ini configuration file
-LD_PRELOAD=./passthrough.so SEA_HOME=$PWD ls mount
+
+`LD_PRELOAD=./passthrough.so SEA_HOME=$PWD ls mount`
diff --git a/sea_flusher.sh b/sea_flusher.sh
diff --git a/sea_launch.sh b/sea_launch.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 
 set -e
+set -u
 
 conf_file=${SEA_HOME}/sea.ini