Discussion:
[urbit] Is there a way to stop syncing a desk in an urbit desk?
Jeremy Wall
10 years ago
Permalink
ronnul-lonsem's sync with Hidduc's %home desk appears to be wedged. I'd
like to kill it if possible.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Philip Monk
10 years ago
Permalink
|unsync %to-desk ~from-ship %from-desk should do it. It has to be run from
the ship that initiated the sync.
Post by Jeremy Wall
ronnul-lonsem's sync with Hidduc's %home desk appears to be wedged. I'd
like to kill it if possible.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Jeremy Wall
10 years ago
Permalink
I get:

/~ronnul-lonsem/home/~2015.6.26..00.15.57..6f97/cat/hood/unsync/
file not found
ford: core /~ronnul-lonsem/home/~2015.6.26..00.15.57..6f97/cat/hood/unsync

When I try that.
...
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Philip Monk
10 years ago
Permalink
Hmm, it's possible I might have forgotten to git add that file. I'm out of
the country at the moment, so I can't check very well, but if that file
really isn't there, then you should be able to create it by copying the one
for sync and changing every sync to unsync.

Of course, I might not have implemented unsync when I converted autosync to
userspace, but I think I did.
...
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Jeremy Wall
10 years ago
Permalink
I see unsync in the kiln and hood .hoon files so I'm guessing you did
implement it. I'm not sure where the sync command is implimented though.
...
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Anton Dyudin
10 years ago
Permalink
The /command/ would be in /cat/hood/sync/hoon
...
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Philip Monk
10 years ago
Permalink
Copy cat/sync.hoon to unsync.hoon, then swap sync to unsync inside
...
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Jeremy Wall
10 years ago
Permalink
got it trying now.
...
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Philip Monk
10 years ago
Permalink
Sorry, cat/hood/sync.hoon like Anton said
...
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Jeremy Wall
10 years ago
Permalink
It worked! Thanks guys.
...
--
Jeremy Wall
http://jeremy.marzhillstudios.com
***@marzhillstudios.com
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Loading...