Eu acabei de me deparar com esse problema, e precisei de um pouco de pesquisa para encontrar a resposta! Então aqui está e funciona para mim.
Para usar várias versões do uníssono, instale unison-all
. Então ...
Usando várias versões do Unison no cliente
Escolha uma versão específica para executar acrescentando o número da versão, assim:
unison-2.40 ...
Ou, se você quiser executar a versão mais recente, basta digitar:
unison
Usando várias versões do Unison no servidor
Instrua a versão cliente do Unison para invocar a versão correspondente do Unison no servidor usando a tag -addversionno
, da seguinte forma:
unison -addversionno
Para mais detalhes
e se você ainda tiver um
Fatal error: Received unexpected header from the server
veja esta solução .