Michael Bradley, Jr
|
d6e455cc27
|
don't attempt to toggle history
|
2018-08-02 14:33:36 -05:00 |
Michael Bradley, Jr
|
eaf05016fb
|
EMBARK_DOCKER_RUN_RM
|
2018-08-02 14:08:22 -05:00 |
Michael Bradley, Jr
|
87abc0bfe0
|
need to wrap in quotes (paths could have spaces), fix var name
|
2018-08-02 13:43:05 -05:00 |
Michael Bradley, Jr
|
e77dbd736a
|
revise strategy for `docker run` options, extra options
|
2018-08-02 12:25:16 -05:00 |
Michael Bradley, Jr
|
377eef2e98
|
wrap vars w/ quotes
|
2018-08-01 21:33:57 -05:00 |
Michael Bradley, Jr
|
00add9f6cc
|
advanced scripting capability
|
2018-08-01 21:33:57 -05:00 |
Michael Bradley, Jr
|
0288f14b21
|
formatting
|
2018-08-01 21:33:57 -05:00 |
Michael Bradley, Jr
|
3601291b94
|
move override-ables to the top
|
2018-08-01 21:33:57 -05:00 |
Michael Bradley, Jr
|
b09815c051
|
support multiple extra run opts, e.g. "--rm -v ..."
|
2018-07-26 14:15:36 -05:00 |
Michael Bradley, Jr
|
df82c1cc44
|
fix things (spaces, cont lines) causing editor to weirdly re/indent
|
2018-07-25 19:15:53 -05:00 |
Michael Bradley, Jr
|
58ece39cfa
|
properly handle $@
|
2018-07-25 15:16:58 -05:00 |
Michael Bradley, Jr
|
c9676b4a1b
|
auto prefix all embark commands
|
2018-07-25 15:16:44 -05:00 |
Michael Bradley, Jr
|
93bea147ce
|
shortcuts
|
2018-07-24 22:27:03 -05:00 |
Michael Bradley, Jr
|
aa2b9e485f
|
decl order
|
2018-07-24 17:39:42 -05:00 |
Michael Bradley, Jr
|
48b854f7f1
|
simplify use of -e
|
2018-07-24 17:18:25 -05:00 |
Michael Bradley, Jr
|
2a36bee823
|
provide dummy extra run opts, in case none are provided on the cli
|
2018-07-24 17:17:55 -05:00 |
Michael Bradley, Jr
|
a6ec833c38
|
env override for extra run opts
|
2018-07-24 15:38:47 -05:00 |
Michael Bradley, Jr
|
7356aed639
|
forward host TERM value to container
|
2018-07-24 15:26:07 -05:00 |
Michael Bradley, Jr
|
9bd9bb1064
|
prefer $PWD to $(pwd)
|
2018-07-24 15:25:55 -05:00 |
Michael Bradley, Jr
|
74451acf55
|
no need to unset
|
2018-07-24 15:25:46 -05:00 |
Michael Bradley, Jr
|
85e482fe39
|
expand env var overrides
|
2018-07-22 22:51:42 -05:00 |
Michael Bradley, Jr
|
5986bb4e4c
|
ws proxy port
|
2018-07-15 20:15:41 -05:00 |
Michael Bradley, Jr
|
4c1534d3bc
|
run.sh script / run_embark_docker function
|
2018-07-15 15:41:28 -05:00 |