|
032b95aa9b
|
Remove show command, which is obsolete now
|
2019-04-10 14:37:01 +08:00 |
|
|
64e9d26270
|
Fix travis
|
2019-01-07 11:39:49 +08:00 |
|
|
5eee1b6d58
|
Fix check_meta_file_version calls
|
2018-11-06 16:27:27 +08:00 |
|
|
cbb027d1ea
|
Allow to specify tags for 'install' and 'install-cabal'
|
2018-11-06 15:14:55 +08:00 |
|
|
475d060abe
|
Rename self-update to upgrade, fixes #38
|
2018-11-04 19:06:40 +08:00 |
|
|
29911cd420
|
Introduce and use a meta file format for URLs and available versions
Fixes #21
Fixes #9
Fixes #10
Fixes #5
|
2018-10-30 21:21:42 +08:00 |
|
|
e3bc9ce99c
|
Introduce optional tarball caching, fixes #11
|
2018-10-28 17:34:37 +08:00 |
|
|
34aa368e9b
|
Make GHC removal safer
Fixes #18
|
2018-10-27 16:18:14 +08:00 |
|
|
d232aa4993
|
Little travis cleanup
|
2018-10-27 15:19:55 +08:00 |
|
|
0445e06ec1
|
Add a debug-info subcommand
|
2018-10-17 21:01:40 +08:00 |
|
|
866f08546c
|
Fix travis
|
2018-10-09 00:24:58 +08:00 |
|
|
644a2829e4
|
Fix travis finally
|
2018-10-03 15:34:30 +08:00 |
|
|
35b40e2fc4
|
Fix travis :(
|
2018-10-03 11:52:27 +08:00 |
|
|
f2e7ecd168
|
Fix travis
|
2018-10-03 11:31:18 +08:00 |
|
|
44b7da06bf
|
Try to fix travis
|
2018-10-03 02:17:38 +08:00 |
|
|
8d2a6fbc58
|
Try to fix travis
|
2018-10-03 02:04:45 +08:00 |
|
|
12dbf2a136
|
Test self-update in travis
|
2018-10-03 01:32:24 +08:00 |
|
|
7d9631c7e4
|
Fix travis
|
2018-10-01 02:16:02 +08:00 |
|
|
7a1e6e07a3
|
Fix travis again
|
2018-09-30 19:48:27 +08:00 |
|
|
92b82c4a3e
|
Allow to build from source, fixes #2
|
2018-09-30 19:39:40 +08:00 |
|
|
ea2d5c20d9
|
Add install-cabal subcommand, fixes #3
|
2018-09-30 16:47:04 +08:00 |
|
|
83d7f7152f
|
Fix travis build
|
2018-09-30 03:34:26 +08:00 |
|
|
0ec136e3ec
|
Add rm tests to travis
|
2018-09-30 03:18:31 +08:00 |
|
|
111a5d8be3
|
Rename script from ghcup.sh to ghcup
|
2018-09-30 01:17:14 +08:00 |
|
|
3a92049b47
|
Try to fix travis again
|
2018-09-30 00:55:12 +08:00 |
|
|
67f7639c5a
|
Fix travis
|
2018-09-30 00:10:48 +08:00 |
|
|
add580e242
|
Use a .travis.sh script
|
2018-09-30 00:02:57 +08:00 |
|