Discussion:
[urbit] Is there a way to stop syncing a desk in an urbit desk?
Jeremy Wall
2015-06-25 22:49:27 UTC
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
2015-06-25 23:35:57 UTC
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
2015-06-26 00:16:24 UTC
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.
Post by Philip Monk
|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.
--
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
2015-06-26 00:23:24 UTC
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
For more options, visit https://groups.google.com/d/optout.
--
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 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
2015-06-26 00:27:05 UTC
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.
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
For more options, visit https://groups.google.com/d/optout.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
--
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
2015-06-26 00:28:02 UTC
Permalink
The /command/ would be in /cat/hood/sync/hoon
Post by Jeremy Wall
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.
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
.
For more options, visit https://groups.google.com/d/optout.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
--
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.
Philip Monk
2015-06-26 00:29:04 UTC
Permalink
Copy cat/sync.hoon to unsync.hoon, then swap sync to unsync inside
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
For more options, visit https://groups.google.com/d/optout.
--
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 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
2015-06-26 00:29:22 UTC
Permalink
got it trying now.
Post by Philip Monk
Copy cat/sync.hoon to unsync.hoon, then swap sync to unsync inside
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
For more options, visit https://groups.google.com/d/optout.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
--
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
2015-06-26 00:29:43 UTC
Permalink
Sorry, cat/hood/sync.hoon like Anton said
Post by Philip Monk
Copy cat/sync.hoon to unsync.hoon, then swap sync to unsync inside
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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
For more options, visit https://groups.google.com/d/optout.
--
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 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
2015-06-26 00:32:58 UTC
Permalink
It worked! Thanks guys.
Post by Philip Monk
Sorry, cat/hood/sync.hoon like Anton said
Post by Philip Monk
Copy cat/sync.hoon to unsync.hoon, then swap sync to unsync inside
Post by Philip Monk
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.
Post by Jeremy Wall
/~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.
Post by Philip Monk
|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,
For more options, visit https://groups.google.com/d/optout.
--
Jeremy Wall
http://jeremy.marzhillstudios.com
--
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...