URI: 

       fix deletion - dossier - console collection manager
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR README
   DIR LICENSE
       ---
   DIR commit b63c0c8606127cdb2990ef9c4db1d1177ad9e8b1
   DIR parent 67938e405b6efa96c2815577e70c7ec6d367fcab
  HTML Author: Solene Rapenne <solene@perso.pw>
       Date:   Sun, 15 Jul 2018 17:25:38 +0200
       
       fix deletion
       
       Diffstat:
         M cdb                                 |       3 ++-
       
       1 file changed, 2 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/cdb b/cdb
       @@ -72,7 +72,8 @@ delete() {
            do
                if [ -f "${attribute}/${1}" ]
                then
       -            git commit -m "Delete ${ATTRIBUTE} ${ID}" "${ATTRIBUTE}/${ID}"
       +            git rm "${attribute}/${1}"
       +            git commit -m "Delete ${attribute} ${1}" "${attribute}/${1}"
                    rmdir "${attribute}" 2> /dev/null
                    SEEN=1
                fi