Hi, I've been using Unison for a long time but have recently had great difficulties setting it up to work on a new webspace where the servers are (virtualized)...
10454
Kane O'Donnell
kaneod
Jul 30, 2012 7:48 am
Hi, I've been using Unison for a long time but have recently had great difficulties setting it up to work on a new webspace where the servers are (virtualized)...
10455
Jerome Vouillon
jv314159
Jul 31, 2012 11:16 am
Hi, ... [...] ... I suspect Unison has been compiled with OCaml 4.0 on one of your machines and an older version of OCaml on the other. There is an ...
10456
Jerome Vouillon
jv314159
Jul 31, 2012 11:32 am
On Mon, Jul 02, 2012 at 05:39:22PM +0800, Ray Song wrote: [...] ... There is indeed an issue with OCaml 4.0. But, in fact, the archive format remains the same....
10457
M
mikemtnbikes
Jul 31, 2012 5:52 pm
I've been using unison for years and recently had to upgrade the version I was using to version 2.40.63. Since that time I have had problems with my profiles...
10458
Alan Schmitt
schmittafr
Aug 1, 2012 8:00 am
... Ocaml 3.04 is almost 10 years old. You might have better luck with a more recent version. Alan...
10459
Alan Schmitt
schmittafr
Aug 1, 2012 8:03 am
... Could you send the "common" file you are including? Because the error is in that file. Alan...
10460
Alan Schmitt
schmittafr
Aug 1, 2012 10:00 am
... We haven't tested with 4.0 yet, so I'm not sure it's compatible. ... Just to be sure: did you do a make clean first? ... This is strange, it should...
10461
Christopher Galpin
swiind
Aug 1, 2012 10:31 am
Whoa good call. I'm relatively certain I did a 'make clean' when testing the previous versions, but just a moment ago trying 4.00.0 I hadn't. But now I have....
10462
Alan Schmitt
schmittafr
Aug 1, 2012 12:31 pm
... Maybe you could look into using the Windows installer for Ocaml 4.0: http://alan.petitepomme.net/cwn/2012.07.31.html#3 Alan...
10463
Christopher Galpin
swiind
Aug 1, 2012 12:34 pm
So very close: C:\cygwin\home\Chris\unison-2.45.4>make UISTYLE=text NATIVE=false OSARCH=win32 > out.txt TAIL: lseeki64() failed 22 File "_none_", line 1,...
10464
Christopher Galpin
swiind
Aug 1, 2012 2:01 pm
Good suggestion. I fair worse with 4.00.0 I'm afraid: C:\cygwin\home\Chris\unison-2.45.4>make UISTYLE=text NATIVE=false OSARCH=win32 TAIL: lseeki64() failed 22...
10465
Puneet Arora
arorapuneet
Aug 2, 2012 7:16 am
Hello, I'm trying to read Unison's formal spec to understand how it does what it does. It's been a long time since I did any theoretical math. I'm having a ...
10466
Alan Schmitt
schmittafr
Aug 2, 2012 10:32 am
... This defines the set of every possible file system, inductively. A file system is a tree, which may be empty (written ⊥), or it may be a node with some...
10467
Olaf Hering
olaf@...
Aug 2, 2012 6:10 pm
I started to use unison as a mirroring tool to propagate my local mirror to another system. That is working fine. The mirror contains also a copy of the linux...
10468
Jerome Vouillon
jv314159
Aug 2, 2012 6:29 pm
... Thanks a lot for your bug report! I believe this is a stack overflow in the following function: External.readChannelTillEof (There is one recursive call by...
10469
Kevin Moloney
cariocakev
Aug 7, 2012 6:45 am
Hi kids, I was wondering if there's anyway to glance at the progress of a large update on the server side. Basically I'm running an update on a massive pair of...
10470
Anton Shepelev
anton.shepelev
Aug 7, 2012 8:13 am
Hello all, I am using Unison at work to maintain backups of several important directories. I have several pro- files -- one for each directory -- which...
10471
Benjamin C. Pierce
benjamincpierce
Aug 7, 2012 1:35 pm
No easy way to do this, unfortunately. Best workaround is to do the scan in smaller pieces using the -path option. - Benjamin ... No easy way to do this,...
10472
rpr nospam
rpr.nospam@...
Aug 7, 2012 1:37 pm
Anton, I'd suggest that you run the BAT script after user logon if suitable (this is possible in Task Scheduler). That makes showing pop-ups easier. If there...
10473
Denis Howe
denishowe
Aug 7, 2012 1:37 pm
... I suggest a .bat file, run from your Start menu / Startup directory, that uses a combination of FOR (to loop through the logs), FINDSTR (to search them for...
10474
Anton Shepelev
anton.shepelev
Aug 7, 2012 8:32 pm
... Thank you very much for the advice and the readiness to help futher, Denis. I'll attempt writing a .bat file myself but will resort to your help if I...
10475
Anton Shepelev
anton.shepelev
Aug 7, 2012 9:40 pm
... The only reason why I have chosen start-up is that I wasn't sure that when the PC is locked after a cer- tain time-out of inactivity as per our...
10476
Alan Schmitt
schmittafr
Aug 8, 2012 6:00 am
... What I usually do is log on the server and run lsof | grep unison to see what unison is currently indexing. It does not make things go faster, but gives me...
10477
Kevin Moloney
cariocakev
Aug 8, 2012 1:47 pm
Thanks Alan! That works well for a quick status....
10478
Benjamin C. Pierce
benjamincpierce
Aug 9, 2012 2:18 am
And thanks to you, Jerome, for the quick fix! (Olaf and anybody else who might care about this bug will be happy with the developer version of Unison from...
10479
Anton Shepelev
anton.shepelev
Aug 9, 2012 11:36 am
... I have created a check.bat that scans the logs and collects the errors in errors.txt and, if there has been at least one error, it CALLS pupup.bat,...
10480
Olaf Hering
olaf@...
Aug 9, 2012 2:00 pm
... I applied svn revision 502 to 2.40.63. Comparing the huge tags file is working fine now. Thanks. Olaf...
10481
rpr nospam
rpr.nospam@...
Aug 9, 2012 3:34 pm
... To output a text file you can use one of the following commands: - If the file is small you can display it as a message: msg.exe %USERNAME% /time:0 <...
