Browse Source

Update gitlab-ci.sh

More complete view of ~

Leo 8 years ago
parent
commit
3e8ef81f49
1 changed files with 2 additions and 2 deletions
  1. 2 2
      gitlab-ci.sh

+ 2 - 2
gitlab-ci.sh

@@ -16,8 +16,8 @@ eval `opam config env`
 echo "Trees"
 echo "$PWD"
 ls .
-echo "~"
-ls ~
+echo "$HOME"
+ls -a $HOME
 echo "= Versions ="
 echo "opam --version"
 opam --version