|
setup
|
remove unused setup scripts
|
2022-11-07 18:23:35 +09:00 |
|
__init__.py
|
replaced gnome with GNOME wherever possible
|
2022-05-06 17:40:17 +09:00 |
|
entry.py
|
remove unnecessary menu
|
2022-11-07 16:59:35 +09:00 |
|
initialize.py
|
replace run with system
|
2022-11-07 17:30:27 +09:00 |
|
log.py
|
redirect error logs to stderr
|
2022-07-01 13:23:45 +09:00 |
|
menu.py
|
make script exit after executing
|
2022-11-07 17:35:29 +09:00 |
|
util.py
|
replace run with system
|
2022-11-07 17:30:27 +09:00 |
