15 Commits (4414d36bf6e4f64cb6eac871c89c2e0daa4c5338)

Author SHA1 Message Date
AUTOMATIC 5fcd4bfa3d do not read extensions' git stuff at startup 3 years ago
AUTOMATIC 69eb2a9ee8 add missing extensions_dir, extensions_builtin_dir to extensions.py 3 years ago
AUTOMATIC 8c801362b4 split commandline args into its own file
make launch.py use the same command line argument parser as the main program
3 years ago
Adam Huganir 6d92d95a33 git 3.1.30 api change 3 years ago
AUTOMATIC 1646991637 display 8 (rather than 7) characters of the extension commit hash in the installed extensions table 3 years ago
Vladimir Mandic 7893533674
add version to extensions table 3 years ago
Max Audron 23a9d5e273 create user extensions directory if not exists 3 years ago
Max Audron 5eee2ac398 add data-dir flag and set all user data directories based on it 3 years ago
AUTOMATIC b6e5edd746 add built-in extension system
add support for adding upscalers in extensions
move LDSR, ScuNET and SwinIR to built-in extensions
3 years ago
Mrau Hu d671d1d45d Fix: `error: Your local changes to the following files would be overwritten by merge` when run `pull()` method,
because WSL2 Docker set 755 file permissions instead of 644, this results to the error.

Updated `Extension` class: replaced `pull()` with `fetch_and_reset_hard()` method.

Updated `apply_and_restart()` function: replaced `ext.pull()` with `ext.fetch_and_reset_hard()` function.
3 years ago
AUTOMATIC a1a376331c make existing script loading and new preload code use same code for loading modules
limit extension preload scripts to just one file named preload.py
3 years ago
d8ahazard cfcadeae9a Add option to preload extensions
By creating a file called "preload.py" in an extension folder and declaring a preload(parser) method, we can add extra command-line args for an extension.
3 years ago
AUTOMATIC 03b08c4a6b do not die when an extension's repo has no remote 3 years ago
AUTOMATIC 58cc03edd0 fix scripts I broke with the extension tab changes 3 years ago
AUTOMATIC 910a097ae2 add initial version of the extensions tab
fix broken Restart Gradio button
3 years ago