URI: 

       fix error for names with spaces - dossier - console collection manager
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR README
   DIR LICENSE
       ---
   DIR commit ec38598e22c572e62fbd883be3277c45cfc22fe4
   DIR parent a1caf3c78149748328e3a77277d3917df1b36abb
  HTML Author: Solene Rapenne <solene@perso.pw>
       Date:   Thu,  2 Aug 2018 13:24:42 +0200
       
       fix error for names with spaces
       
       Diffstat:
         M dossier                             |       2 +-
       
       1 file changed, 1 insertion(+), 1 deletion(-)
       ---
   DIR diff --git a/dossier b/dossier
       @@ -17,7 +17,7 @@ fi
        # $1 identifier
        exists() {
            cd "$REPO"
       -    ls */$1 >/dev/null 2>&1
       +    ls */"$1" >/dev/null 2>&1
            return $?
        }