mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-21 13:50:20 +08:00
will prevent Galaxy from deleting the file when the dataset is purged. Copies of datasets (such as when sharing a
history), no longer copy file contents.
Database changes required:
CREATE TABLE dataset_filename (
id INTEGER NOT NULL,
create_time TIMESTAMP DEFAULT current_timestamp,
update_time TIMESTAMP DEFAULT current_timestamp,
filename TEXT,
extra_files_path TEXT,
readonly BOOLEAN,
PRIMARY KEY (id)
);
ALTER TABLE dataset ADD filename_id INTEGER;