 Leo
|
1ddf959c65
Improve help subcommand
|
9 years ago |
|
Leo
|
d5111fc776
Add links to get targeted help
|
9 years ago |
|
Leo
|
c6a9dcf4fb
Fix indentation using fix-indent.ml
|
9 years ago |
|
Leo
|
dbbaf243d9
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
9 years ago |
|
Leo
|
1dd18a8abb
pkg.sh: Verifiy archives after creation
|
9 years ago |
|
Leo
|
4f66d78ac2
Make pkg.sh script faster
|
9 years ago |
|
Leo
|
1707c715a8
Improve pkg.sh script
|
9 years ago |
|
Leo
|
064d301001
Update CHANGELOG
|
9 years ago |
|
Leo
|
0a966e0e0e
Add '--yes' option
|
9 years ago |
|
Leo
|
d61c6d4bff
Improve comment
|
9 years ago |
|
Leo
|
048c40d638
Add confirmation when deleting commands
|
9 years ago |
|
Leo
|
e202b54787
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
9 years ago |
|
Leo
|
9fa3fb5e4f
Update TODO file
|
9 years ago |
|
Leo
|
148a230ac2
Improve indentation consistency
|
9 years ago |
|
Leo
|
be6f94941d
Add test case for the environment
|
9 years ago |
|
Leo
|
50ee4f4139
Fix problem with debugging of (lazy) rc_file
|
9 years ago |
|
Leo
|
1ae3e0506a
Improve code conciseness
|
9 years ago |
|
Leo
|
44f00f101e
Improve env error message
|
9 years ago |
|
Leo
|
be5f5e2532
Make parsing of command line-arguments more lazy
|
9 years ago |
|
Leo
|
0da4fd61da
Change suffix of source tarballs
|
9 years ago |
|
Leo
|
4e86f4f1a7
Create more archives with 0install.sh script
|
9 years ago |
|
Leo
|
2cca91d989
Harmonise 0install.sh and pkg.sh script
|
9 years ago |
|
Leo
|
d58298563e
Code clean-up
|
9 years ago |
|
Leo
|
822d3f1511
Code clean-up: command_def.ml.ml and list_rc.ml
|
9 years ago |
|
Leo
|
ab2406a548
Code clean-up: list_rc.ml
|
9 years ago |
|
Leo
|
480dea1ab4
Code clean-up: exec_cmd.ml
|
9 years ago |
|
Leo
|
dde79f46b5
Fix Gitlab CI
|
9 years ago |
|
Leo
|
33b586812b
Fix Gitlab CI
|
9 years ago |
|
Leo
|
0842b813a9
Gitlab CI: Test OcLaunch once installed
|
9 years ago |
|
Leo
|
04fd62693e
Update CHANGELOG
|
9 years ago |
