Commit Graph

12 Commits (master)

Author SHA1 Message Date
John Benediktsson 3b1464630c cli.git: revert process-contents patch. 2020-04-02 09:53:56 -07:00
John Benediktsson de3b74d1c6 basis/extra: move fewer things. 2020-04-01 21:37:28 -07:00
John Benediktsson 33eb8a7837 Revert "basis: Move more extra to basis."
This reverts commit 2d85dafa98.
2020-04-01 21:37:28 -07:00
Doug Coleman 2d85dafa98 basis: Move more extra to basis.
I missed these because they were already loaded in my saved image.
2020-03-28 10:39:06 -05:00
Doug Coleman 279acbc53e io.launcher: Add process-lines word. 2018-07-16 21:02:11 -05:00
Doug Coleman 9d911fab73 cli.git: Fix parameter order. 2018-07-06 21:22:26 -05:00
Doug Coleman 682e0b92e3 cli.git: Better branch names maybe.
zealot: use CI_BRANCH and set it in travis.
zealot.factor: Check against HEAD
.travis.yml: Travis seems to be terminating my command after the USING:.

[[
[0K$ ./factor -run=zealot.cli-changed-vocabs
io.pathnames
vocabs.loader
cli.git
modern
modern.out
modern.paths
modern.slices
sequences.extras
web-services.github
zealot.cli-changed-vocabs
zealot.factor
zealot

travis_time🔚155cd3d8:start=1530762416088842089,finish=1530762475370504525,duration=59281662436
[0K
[32;1mThe command "./factor -run=zealot.cli-changed-vocabs" exited with 0.[0m
travis_time:start:2ac2d2d0
[0K$ {:"./factor -run=zealot.cli-changed-vocabs | while read line ; do ./factor -e=\"USING"=>"kernel tools.test vocabs.hierarchy ; \\\"$line\\\" [ load ] [ test ] bi\" ; done"}
/home/travis/.travis/job_stages: line 78: {:./factor -run=zealot.cli-changed-vocabs | while read line ; do ./factor -e="USING=: No such file or directory

travis_time🔚2ac2d2d0:start=1530762475377510994,finish=1530762475383948090,duration=6437096
[0K
[31;1mThe command "{:"./factor -run=zealot.cli-changed-vocabs | while read line ; do ./factor -e=\"USING"=>"kernel tools.test vocabs.hierarchy ; \\"$line\\" [ load ] [ test ] bi\" ; done"}" exited with 127.[0m

Done. Your build exited with 1.
]]

zealot: test on cli.
travis: Load zealot so we can use it quickly twice. Also fetch origin/master so we can ``git diff`` against it.
2018-07-05 00:13:02 -05:00
Doug Coleman 76e50c3479 cli.git: Add more git commands. 2018-07-04 20:19:31 -05:00
Doug Coleman 725bbf9e45 cli.git: Allow git commands from within the directory and from without.. 2018-07-04 18:32:34 -05:00
Doug Coleman 081b642dee bootstrap.image.upload: Upload images per-branch. 2017-08-31 21:06:17 -05:00
Doug Coleman c7abd13d33 cli.git: Use number of threads not cpus. 2017-08-17 21:37:58 -05:00
Doug Coleman 21e42a5d3b extra: Add cli.git and github.sync.
cli.git is a command-line git wrapper.
github.sync is a way to sync an organization to local disk.
2017-08-05 20:40:57 -05:00