fix deletion - dossier - console collection manager
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) Tags
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit b63c0c8606127cdb2990ef9c4db1d1177ad9e8b1
 (DIR) parent 67938e405b6efa96c2815577e70c7ec6d367fcab
 (HTM) 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