From 8afdb2d8afced8c5ec1ee49472f731dd3eab0bda Mon Sep 17 00:00:00 2001
From: Tristan Riehs <tristan.riehs@inria.fr>
Date: Mon, 29 Dec 2025 13:09:05 +0100
Subject: Add file extensions to database

I chose to kind of abstract the extensions. Thus they are not part of
files' full and canonical names. However, they have to be there when
exporting the files so we need to store them somewhere.
---
 sql/init.sql | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sql/init.sql')

diff --git a/sql/init.sql b/sql/init.sql
index 75fa4c7..4c73327 100644
--- a/sql/init.sql
+++ b/sql/init.sql
@@ -10,7 +10,8 @@ CREATE TABLE files (
        full_name varchar(255) NOT NULL,
        description text,
        date integer NOT NULL,
-       sum integer NOT NULL
+       sum integer NOT NULL,
+       extension varchar(15) NOT NULL
 );
 
 CREATE TABLE file_tags (
-- 
cgit v1.2.3

