mirror of
https://github.com/urbit/shrub.git
synced 2024-12-29 15:14:17 +03:00
docket: loosen restrictions on glob uploads
Now also lets you upload globs that the local ship isn't the canonical source for. Could come in handy for troubleshooting, among other things.
This commit is contained in:
parent
177ef73d37
commit
b23d9d7002
@ -343,10 +343,7 @@
|
||||
%+ murn ~(tap by charges)
|
||||
|= [d=desk [docket *]]
|
||||
^- (unit desk)
|
||||
=- ?:(- `d ~)
|
||||
?& ?=(%glob -.href)
|
||||
=([%ames our.bowl] glob-location.href)
|
||||
==
|
||||
?:(?=(%glob -.href) `d ~)
|
||||
::
|
||||
;html
|
||||
;head
|
||||
@ -364,8 +361,8 @@
|
||||
(join `manx`;br; (turn msg |=(m=@t `manx`:/"{(trip m)}")))
|
||||
;ol(start "0")
|
||||
;li:"""
|
||||
if necessary, create a desk whose desk.docket specifies
|
||||
a glob hosted on the local ship.
|
||||
make sure the desk you want to upload a glob for has a
|
||||
desk.docket with %base and %glob- entries.
|
||||
"""
|
||||
;li:"select the desk you want to upload the glob for."
|
||||
;li:"""
|
||||
@ -413,10 +410,6 @@
|
||||
['no files in glob' err]
|
||||
=? err !?=(%glob -.href.docket.charge)
|
||||
['desk does not use glob' err]
|
||||
=? err ?& ?=(%glob -.href.docket.charge)
|
||||
!=([%ames our.bowl] glob-location.href.docket.charge)
|
||||
==
|
||||
['desk\'s glob not hosted here' err]
|
||||
::
|
||||
?. =(~ err)
|
||||
:_ [~ state]
|
||||
|
Loading…
Reference in New Issue
Block a user