 Leo
|
4f66d78ac2
Make pkg.sh script faster
|
il y a 9 ans |
|
Leo
|
1707c715a8
Improve pkg.sh script
|
il y a 9 ans |
|
Leo
|
064d301001
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
0a966e0e0e
Add '--yes' option
|
il y a 9 ans |
|
Leo
|
d61c6d4bff
Improve comment
|
il y a 9 ans |
|
Leo
|
048c40d638
Add confirmation when deleting commands
|
il y a 9 ans |
|
Leo
|
e202b54787
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
il y a 9 ans |
|
Leo
|
9fa3fb5e4f
Update TODO file
|
il y a 9 ans |
|
Leo
|
148a230ac2
Improve indentation consistency
|
il y a 9 ans |
|
Leo
|
be6f94941d
Add test case for the environment
|
il y a 9 ans |
|
Leo
|
50ee4f4139
Fix problem with debugging of (lazy) rc_file
|
il y a 9 ans |
|
Leo
|
1ae3e0506a
Improve code conciseness
|
il y a 9 ans |
|
Leo
|
44f00f101e
Improve env error message
|
il y a 9 ans |
|
Leo
|
be5f5e2532
Make parsing of command line-arguments more lazy
|
il y a 9 ans |
|
Leo
|
0da4fd61da
Change suffix of source tarballs
|
il y a 9 ans |
|
Leo
|
4e86f4f1a7
Create more archives with 0install.sh script
|
il y a 9 ans |
|
Leo
|
2cca91d989
Harmonise 0install.sh and pkg.sh script
|
il y a 9 ans |
|
Leo
|
d58298563e
Code clean-up
|
il y a 9 ans |
|
Leo
|
822d3f1511
Code clean-up: command_def.ml.ml and list_rc.ml
|
il y a 9 ans |
|
Leo
|
ab2406a548
Code clean-up: list_rc.ml
|
il y a 9 ans |
|
Leo
|
480dea1ab4
Code clean-up: exec_cmd.ml
|
il y a 9 ans |
|
Leo
|
dde79f46b5
Fix Gitlab CI
|
il y a 9 ans |
|
Leo
|
33b586812b
Fix Gitlab CI
|
il y a 9 ans |
|
Leo
|
0842b813a9
Gitlab CI: Test OcLaunch once installed
|
il y a 9 ans |
|
Leo
|
04fd62693e
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
d5e9853b6e
Merge branch 'ocaml403' into dev
|
il y a 9 ans |
|
Leo
|
fb8a0ab11c
Amend comment
|
il y a 9 ans |
|
Leo
|
ac899a9324
Flush stdout on each message
|
il y a 9 ans |
|
Leo
|
08d7d4d5c2
Run oasis setup with a fresher oasis
|
il y a 9 ans |
|
Leo
|
6132e9efe9
Add OCamlBuild dependency
|
il y a 9 ans |
