diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2025-12-29 13:09:05 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2025-12-29 13:09:05 +0100 |
| commit | 8afdb2d8afced8c5ec1ee49472f731dd3eab0bda (patch) | |
| tree | e6f4398ce3b4298907a22c64d05fd3ce864723a1 /sql | |
| parent | 6b584537838dbce9d3d75b93228544cee6e2f805 (diff) | |
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.
Diffstat (limited to 'sql')
| -rw-r--r-- | sql/init.sql | 3 |
1 files changed, 2 insertions, 1 deletions
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 ( |