[prev in list] [next in list] [prev in thread] [next in thread] 

List:       unison-users
Subject:    Re: [unison-users] New Prop dontchmod qquestion
From:       Jerome Vouillon <Jerome.Vouillon () pps ! jussieu ! fr>
Date:       2009-12-29 17:35:54
Message-ID: 20091229173554.GC2025 () pps ! jussieu ! fr
[Download RAW message or body]

Hello,

> When setting dontchmod I ran into the problem that unison raises an
> exception in props.ml because the resulting access rights differ
> from what it expects.  I think this exception is wrong because when
> omitting the chmod call, it may well happen that the access rights
> differ.

The "dontchmod" preference is supposed to be used with the "perms"
preference set to 0.  In this case, no exception is raised.

If Unison does not fail when the on-disk permissions are not the one
it expects, then it will report a spurious permission change every
time it is run afterwards (and a spurious conflicts if the file is
ever modified on the other side).

Maybe the "dontchmod" preference should implies perms=0?

Regards,

-- Jerome

[Attachment #3 (text/html)]

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" \
"http://www.w3.org/TR/html4/strict.dtd"> <html>
<head>
</head>







<body style="background-color: #fff;">
<span style="display:none">&nbsp;</span>

<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
  <div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->

    <div id="ygrp-text" >
      
      
      <p>Hello,<br>
<br>
&gt; When setting dontchmod I ran into the problem that unison raises an<br>
&gt; exception in props.ml because the resulting access rights differ<br>
&gt; from what it expects.  I think this exception is wrong because when<br>
&gt; omitting the chmod call, it may well happen that the access rights<br>
&gt; differ.<br>
<br>
The &quot;dontchmod&quot; preference is supposed to be used with the \
&quot;perms&quot;<br> preference set to 0.  In this case, no exception is raised.<br>
<br>
If Unison does not fail when the on-disk permissions are not the one<br>
it expects, then it will report a spurious permission change every<br>
time it is run afterwards (and a spurious conflicts if the file is<br>
ever modified on the other side).<br>
<br>
Maybe the &quot;dontchmod&quot; preference should implies perms=0?<br>
<br>
Regards,<br>
<br>
-- Jerome<br>
</p>

    </div>
     

    <!--~-|**|PrettyHtmlStart|**|-~-->
    <div style="color: #fff; height: 0;">__._,_.___</div>

        
  
   
    <div id="ygrp-actbar" style="clear: both; margin-bottom: 10px; white-space: \
nowrap; color: #666; padding-top: 15px;">  <div>
        <a href="mailto:Jerome.Vouillon@pps.jussieu.fr?subject=Re: [unison-users] New \
Prop dontchmod qquestion">  Reply to <span style="font-weight: \
                700;">sender</span></a>
          | <a href="mailto:unison-users@yahoogroups.com?subject=Re: [unison-users] \
New Prop dontchmod qquestion">  Reply to <span style="font-weight: \
700;">group</span></a>  </div>

                <a href="http://groups.yahoo.com/group/unison-users/message/8542;_ylc= \
X3oDMTMzMzFmcW1wBF9TAzk3MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEbXNnSWQDODY4MgRzZWMDZnRyBHNsawN2dHBjBHN0aW1lAzEyNjIxMDgzNjIEdHBjSWQDODU0Mg--">Messages \
in this topic</a>  (<span style="font-weight: 700;">3</span>)
          </div> 
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<!-- |**|end egp html banner|**| -->

<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #e0ecee; font-family: Verdana; \
                font-size: 10px; margin-bottom: 10px; padding: 10px;">
      <span id="vithd" style="font-weight: bold; color: #333; text-transform: \
uppercase; ">Recent Activity:</span>

    <ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
            <li style="border-right: 1px solid #000; font-weight: 700; display: \
inline; padding: 0 5px; margin-left: 0;">  <span class="cat"><a \
href="http://groups.yahoo.com/group/unison-users/members;_ylc=X3oDMTJlYmNsNGttBF9TAzk3 \
MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA3Z0bARzbGsDdm1icnMEc3RpbWUDMTI2MjEwODM2Mg--?o=6" \
style="text-decoration: none;">New Members</a></span>  <span class="ct" style="color: \
#ff7900;">7</span>  </li>
                                              </ul>
    
  <div style="clear: both; padding-top: 2px; color: #1e66ae;">
    <a href="http://groups.yahoo.com/group/unison-users;_ylc=X3oDMTJkNm9vcHVzBF9TAzk3M \
zU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA3Z0bARzbGsDdmdocARzdGltZQMxMjYyMTA4MzYy" \
style="border-right: 1px solid #000; padding-right: 5px; margin-right: 2px; \
text-decoration: none;">Visit Your Group</a>  <a \
href="http://groups.yahoo.com/group/unison-users/post;_ylc=X3oDMTJkMTEzNW0xBF9TAzk3MzU \
5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA2Z0cgRzbGsDbnRwYwRzdGltZQMxMjYyMTA4MzYy" \
style="font-weight: 700; text-decoration: none;">Start a New Topic</a>  </div>
</div>

              <div id="ygrp-mkp" style="border: 1px solid #d8d8d8; clear: both; \
                float: left; font-family: Arial; margin: 5px 0 10px 0; padding: 0 \
                10px;">
      <div id="hd" style="color: #628c2a; font-size: 85%; font-weight: 700; \
line-height: 122%; margin: 10px 0;">MARKETPLACE</div>  <div id="ads" \
                style="margin-bottom: 10px;">
                  <div class="ad" style="color: #628C2A; font-family: Arial; \
font-weight: 700; padding: 0 0;">  <p><a \
href="http://us.ard.yahoo.com/SIG=14kr4l0h5/M=493064.13814333.13821539.13298430/D=grou \
ps/S=1705004726:MKP1/Y=YAHOO/EXP=1262115563/L=/B=B5JBUESO5.o-/J=1262108363220272/K=SR0 \
dDfRyKyyMUPjiPPdEZw/A=5922843/R=0/SIG=11ckn2mo6/*http://advision.webevents.yahoo.com/green/">Going \
                Green: Your Yahoo! Groups resource for green living</a></p>          \
                </div>
                          <div class="ad" style="color: #628C2A; font-family: Arial; \
font-weight: 700; padding: 0 0;">  <hr style="border: 1px solid #d8d8d8;">
                        <p><a \
href="http://us.ard.yahoo.com/SIG=14kun8aq2/M=493064.13814537.13821737.10835568/D=grou \
ps/S=1705004726:MKP1/Y=YAHOO/EXP=1262115563/L=/B=CJJBUESO5.o-/J=1262108363220272/K=SR0 \
dDfRyKyyMUPjiPPdEZw/A=5898843/R=0/SIG=11kkq36go/*http://advision.webevents.yahoo.com/parentingzone/">Parenting \
Zone: Find useful resources for a happy, healthy family and home</a></p>           \
</div>  </div>
    </div>
  
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 \
2px 0 0; clear: both;">  <a \
href="http://groups.yahoo.com/;_ylc=X3oDMTJjYWQ3NmZnBF9TAzk3MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA2Z0cgRzbGsDZ2ZwBHN0aW1lAzEyNjIxMDgzNjI-" \
style="float: left;"><img src="http://l.yimg.com/a/i/us/yg/logo/us.gif" height="15" \
width="137" alt="Yahoo! Groups" style="border: 0;"/></a>  <div style="color: #747575; \
float: right;">Switch to: <a \
href="mailto:unison-users-traditional@yahoogroups.com?subject=Change Delivery Format: \
Traditional" style="text-decoration: none;">Text-Only</a>, <a \
href="mailto:unison-users-digest@yahoogroups.com?subject=Email Delivery: Digest" \
class="margin-rt" style="text-decoration: none;">Daily Digest</a> &bull; <a \
href="mailto:unison-users-unsubscribe@yahoogroups.com?subject=Unsubscribe" \
style="text-decoration: none;">Unsubscribe</a> &bull; <a \
href="http://docs.yahoo.com/info/terms/" style="text-decoration: none;">Terms of \
Use</a></div> </div>

<!-- |**|end egp html banner|**| -->

  </div> <!-- ygrp-msg -->

  <!-- Sponsor -->
  <!-- |**|begin egp html banner|**| -->
  <div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px \
0; background: #fff;">

<!-- Start Recommendations -->
<div id="ygrp-reco">
     </div>
<!-- End Recommendations -->



  </div>   <!-- |**|end egp html banner|**| -->

  <div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>

  <img src="http://geo.yahoo.com/serv?s=97359714/grpId=479767/grpspId=1705004726/msgId=8682/stime=1262108362/nc1=4507179/nc2=3848640/nc3=3848583" \
width="1" height="1"> <br>

<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->

</body>

<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
  <style type="text/css">
  <!--
  #ygrp-mkp {
  border: 1px solid #d8d8d8;
  font-family: Arial;
  margin: 10px 0;
  padding: 0 10px;
}

#ygrp-mkp hr {
  border: 1px solid #d8d8d8;
}

#ygrp-mkp #hd {
  color: #628c2a;
  font-size: 85%;
  font-weight: 700;
  line-height: 122%;
  margin: 10px 0;
}

#ygrp-mkp #ads {
  margin-bottom: 10px;
}

#ygrp-mkp .ad {
  padding: 0 0;
}

#ygrp-mkp .ad a {
  color: #0000ff;
  text-decoration: none;
}
  #ygrp-sponsor #ygrp-lc {
  font-family: Arial;
}

#ygrp-sponsor #ygrp-lc #hd {
  margin: 10px 0px;
  font-weight: 700;
  font-size: 78%;
  line-height: 122%;
}

#ygrp-sponsor #ygrp-lc .ad {
  margin-bottom: 10px;
  padding: 0 0;
}

  a {
    color: #1e66ae;
  }

  #actions {
    font-family: Verdana;
    font-size: 11px;
    padding: 10px 0;
  }

  #activity {
    background-color: #e0ecee;
    float: left;
    font-family: Verdana;
    font-size: 10px;
    padding: 10px;
  }

  #activity span {
    font-weight: 700;
  }

  #activity span:first-child {
    text-transform: uppercase;
  }

  #activity span a {
    color: #5085b6;
    text-decoration: none;
  }

  #activity span span {
    color: #ff7900;
  }

  #activity span .underline {
    text-decoration: underline;
  }

  .attach {
    clear: both;
    display: table;
    font-family: Arial;
    font-size: 12px;
    padding: 10px 0;
    width: 400px;
  }

  .attach div a {
    text-decoration: none;
  }

  .attach img {
    border: none;
    padding-right: 5px;
  }

  .attach label {
    display: block;
    margin-bottom: 5px;
  }

  .attach label a {
    text-decoration: none;
  }
  
  blockquote {
    margin: 0 0 0 4px;
  }

  .bold {
    font-family: Arial;
    font-size: 13px;
    font-weight: 700;
  }

  .bold a {
    text-decoration: none;
  }

  dd.last p a {
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span {
    margin-right: 10px;
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span.yshortcuts {
    margin-right: 0;
  }

  div.attach-table div div a {
    text-decoration: none;
  }

  div.attach-table {
    width: 400px;
  }

  div.file-title a, div.file-title a:active, div.file-title a:hover, div.file-title \
a:visited {  text-decoration: none;
  }

  div.photo-title a, div.photo-title a:active, div.photo-title a:hover, \
div.photo-title a:visited {  text-decoration: none;
  }

  div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
    font-family: Verdana;
    font-size: 10px;
    font-weight: normal;
  }

  .green {
    color: #628c2a;
  }

  .MsoNormal {
    margin: 0 0 0 0;
  }

  o {
    font-size: 0;
  }

  #photos div {
    float: left;
    width: 72px;
  }

  #photos div div {
    border: 1px solid #666666;
    height: 62px;
    overflow: hidden;
    width: 62px;
  }

  #photos div label {
    color: #666666;
    font-size: 10px;
    overflow: hidden;
    text-align: center;
    white-space: nowrap;
    width: 64px;
  }

  #reco-category {
    font-size: 77%;
  }

  #reco-desc {
    font-size: 77%;
  }

  .replbq {
    margin: 4px;
  }

  #ygrp-actbar div a:first-child {
   /* border-right: 0px solid #000;*/
    margin-right: 2px;
    padding-right: 5px;
  }

  #ygrp-mlmsg {
    font-size: 13px;
    font-family: Arial, helvetica,clean, sans-serif;
    *font-size: small;
    *font: x-small;
  }

  #ygrp-mlmsg table {
    font-size: inherit;
    font: 100%;
  }

  #ygrp-mlmsg select, input, textarea {
    font: 99% Arial, Helvetica, clean, sans-serif;
  }

  #ygrp-mlmsg pre, code {
    font:115% monospace;
    *font-size:100%;
  }

  #ygrp-mlmsg * {
    line-height: 1.22em;
  }

  #ygrp-mlmsg #logo {
    padding-bottom: 10px;
  }

  #ygrp-mlmsg a {
    color: #1E66AE;
  }

  #ygrp-msg p a {
    font-family: Verdana;
  }

  #ygrp-msg p#attach-count span {
    color: #1E66AE;
    font-weight: 700;
  }

  #ygrp-reco #reco-head {
    color: #ff7900;
    font-weight: 700;
  }

  #ygrp-reco {
    margin-bottom: 20px;
    padding: 0px;
  }

  #ygrp-sponsor #ov li a {
    font-size: 130%;
    text-decoration: none;
  }

  #ygrp-sponsor #ov li {
    font-size: 77%;
    list-style-type: square;
    padding: 6px 0;
  } 

  #ygrp-sponsor #ov ul {
    margin: 0;
    padding: 0 0 0 8px;
  }

  #ygrp-text {
    font-family: Georgia;
  }

  #ygrp-text p {
    margin: 0 0 1em 0;
  }

  #ygrp-text tt {
    font-size: 120%;
  }

  #ygrp-vital ul li:last-child {
    border-right: none !important; 
  } 
  -->
  </style>
</head>

<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->



[prev in list] [next in list] [prev in thread] [next in thread] 

Configure | About | News | Add a list | Sponsored by KoreLogic