Il n’existe pas pour l’heure de système de plugin ni de panel d’administration.
Ainsi il faut s’aider de la base de données pour supprimer un pad définitivement et il ne sera pas possible de supprimer les pad trop vieux à moins de faire un script dédié.
Important:
Les opérations qui suivent sont des suppressions sur une base de données de production. Assurez vous d’avoir fait un backup!
Il faut se trouver à l’intérieur du conteneur de base de données de Hedgedoc.
Note:
Pour ce faire, on pourra s’aider du graphe des services pour savoir où tourne Hedgedoc, puis se rendre à l’intérieur du conteneur de base de données et ouvrir un shell PostgreSQL :
$ docker exec -it hedgedoc-db bash # psql -U hedgedoc
Après quoi on récupère l'identifiant du pad tel que stocké en base.
DELETE FROM "Revisions" WHERE "Revisions"."noteId" = '<id-du-pad>';
DELETE FROM "Notes" WHERE "Notes"."id" = '<id-du-pad>';
DELETE FROM "Authors" WHERE "Authors"."noteId" = '<id-du-pad>';