urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,935 Commits 768 Branches 10 Tags 215 MiB
1ba2800be1
Commit Graph

1935 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Philip C Monk
1ba2800be1 clear terminal backlog in ++prep 2014-12-05 16:09:46 -05:00
Philip C Monk
445dd6b334 half the markdown jet 2014-12-03 23:58:49 -05:00
C. Guy Yarvin
7d9a4c6073 Add test user-level jet. 2014-12-03 15:21:55 -08:00
Philip C Monk
947bd1cb97 test files 2014-12-03 17:20:41 -05:00
Philip C Monk
068e93e2f6 Merge commit '7894810906c8213feba3ebd7be89b62a6ed89122' as 'outside/commonmark' 2014-12-03 17:03:42 -05:00
Philip C Monk
c365f358e6 Squashed 'outside/commonmark/' content from commit cfb756f 
git-subtree-dir: outside/commonmark
git-subtree-split: cfb756f918aad3ef7714f75a06210e564ecb90f9
 2014-12-03 17:03:42 -05:00
C. Guy Yarvin
05e774cfa1 Hack around ~(tap to) bug. 2014-12-03 11:58:42 -08:00
C. Guy Yarvin
c9495e139b Merge branch 'master' of https://github.com/urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-12-03 09:46:54 -08:00
C. Guy Yarvin
ac05b7bf4b Profile tweaks. 2014-12-03 09:36:42 -08:00
Philip Monk
46cc7bbf50 Merge pull request #202 from gkelly/minor-fixes 
Minor cleanup
 2014-12-02 20:20:03 -08:00
Garret Kelly
7c7709bb28 Remove unsued %cide from ls. 2014-12-03 03:51:33 +00:00
Garret Kelly
fc282f6697 Properly attribute event source in utilities. 2014-12-03 03:51:11 +00:00
Philip C Monk
ea6702649e limit terminal and chat backlog 
fixes #200
 2014-12-02 22:03:12 -05:00
Philip C Monk
6866d64c48 added entropy/ship in the shell 
fixes #183
 2014-12-02 21:26:55 -05:00
Philip C Monk
fe077da55a Merge branch 'master' of https://github.com/urbit/urbit 2014-12-02 20:07:22 -05:00
Philip C Monk
337178b4a2 added :label 
fixes #189
 2014-12-02 20:07:00 -05:00
C. Guy Yarvin
fed01d752b Merge branch 'master' of https://github.com/urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-12-02 16:28:02 -08:00
C. Guy Yarvin
b988d4b061 More profiling updates. 2014-12-02 16:26:30 -08:00
Philip C Monk
1725636897 turn off sub autosync after :begin succeeds 
fixes #187
 2014-12-02 19:19:09 -05:00
Philip C Monk
b32a106f49 added :reset 2014-12-02 19:04:54 -05:00
C. Guy Yarvin
5fb9cd9ae9 Update some profiling stuff. 2014-12-02 13:53:35 -08:00
cgyarvin
22ad0104cf Merge pull request #199 from gkelly/fix-wyt 
Make empty sets and maps size zero.
 2014-12-02 12:16:42 -08:00
Garret Kelly
26e6f8f8e3 Make empty sets and maps size zero. 
Changes the one use of wyt:by to match the old behavior.
 2014-12-02 20:06:46 +00:00
Philip C Monk
4187db53a2 added some printfs to gall 2014-12-02 01:31:34 -05:00
Philip C Monk
39246eef22 Merge branch 'master' of https://github.com/urbit/urbit 2014-12-01 17:51:08 -05:00
Philip C Monk
4ba1641d23 don't play back own messages 2014-12-01 17:50:48 -05:00
Galen Wolfe-Pauly
d70067b090 text/json 2014-12-01 14:38:08 -08:00
Philip C Monk
5a93cb9d06 added legacy note 2014-12-01 17:03:19 -05:00
Philip C Monk
d70830355a backport ^O to non-broken ships 2014-12-01 16:55:33 -05:00
Philip C Monk
2fb2433172 fixed dill subscription lossage 2014-12-01 16:42:21 -05:00
C. Guy Yarvin
6c151c6f52 Remove debug code. 2014-11-30 23:32:19 -08:00
C. Guy Yarvin
3c55fd2d98 Merge branch 'master' of https://github.com/urbit/urbit 2014-11-30 02:16:24 -08:00
C. Guy Yarvin
13992b5586 Fix some profiling stuff. 2014-11-30 02:06:41 -08:00
C. Guy Yarvin
cb2238f076 Merge branch 'master' of https://github.com/urbit/urbit 2014-11-28 12:29:59 -08:00
C. Guy Yarvin
0e3986d9d5 Update some jet stuff, and docs 2014-11-28 12:29:10 -08:00
cgyarvin
d317171391 Merge pull request #195 from gkelly/remove-duplicate-logo-case 
Remove duplicate %logo case from gall.
 2014-11-28 10:09:59 -08:00
Garret Kelly
6afb0253f4 Remove duplicate %logo case from gall. 2014-11-28 15:38:57 +00:00
C. Guy Yarvin
a7758e55e4 Merge branch 'master' of https://github.com/urbit/urbit 2014-11-25 17:31:36 -08:00
Philip C Monk
cfd14781b4 Merge branch 'master' of https://github.com/urbit/urbit 2014-11-25 20:04:11 -05:00
Philip C Monk
1b79d012c2 fixed some chat problems 2014-11-25 20:02:48 -05:00
C. Guy Yarvin
341cf3765f Various fixes and documentations. 2014-11-25 15:31:35 -08:00
Philip C Monk
e9ea42cbd0 Merge branch 'master' of https://github.com/urbit/urbit 2014-11-24 18:02:44 -05:00
Philip C Monk
6e25434e87 radio/shell fixes 2014-11-24 18:02:14 -05:00
Philip C Monk
9d84041407 fixed chat ^D not pulling bug 2014-11-24 17:00:13 -05:00
cgyarvin
e478e46291 Merge pull request #181 from gkelly/more-specific-hi-args 
Replace $? with the more-specific $| in hi-args.
 2014-11-24 13:19:57 -08:00
Garret Kelly
027695cfe0 Replace $? with the more-specific $| in hi-args. 2014-11-24 21:15:18 +00:00
Philip C Monk
a50872896d change ^W to ^G and add readline ^W 2014-11-24 16:15:04 -05:00
Philip C Monk
97a6b0984b :begin takes ship name 2014-11-24 14:53:31 -05:00
Philip C Monk
e68ac86a96 remapped ^L to ^W 2014-11-24 14:01:58 -05:00
Philip C Monk
d4db76f3ab fix :begin off-by-one error 2014-11-23 21:41:57 -05:00