[prev in list] [next in list] [prev in thread] [next in thread]
List: unison-users
Subject: Re: [unison-users] New Prop dontchmod qquestion
From: Benjamin Pierce <bcpierce () cis ! upenn ! edu>
Date: 2009-11-11 17:58:35
Message-ID: BF34D101-40B5-4939-9594-85100F6A3203 () cis ! upenn ! edu
[Download RAW message or body]
Thanks -- I'll apply this patch in the trunk.
- B
On Oct 4, 2009, at 9:47 AM, Ulrich Gemkow wrote:
> Hello,
>
> I am playing around with the new property dontchmod in unison 2.32.52
> to achieve differing access rights on the sender and on the receiver
> side after syncing. Both sides use UNIX (Linux).
>
> 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.
>
> So maybe the following patch is required which makes the check
> dependent on
> the new property:
>
> --- props.ml.orig 2009-05-02 04:31:27.000000000 +0200
> +++ props.ml 2009-10-04 15:25:30.000000000 +0200
> @@ -211,7 +211,7 @@
>
> let check fspath path stats (fp, mask) =
> let fp' = stats.Unix.LargeFile.st_perm in
> - if fp land mask <> fp' land mask then
> + if (not (Prefs.read dontChmod)) && (fp land mask <> fp' land
> mask) then
> raise
> (Util.Transient
> (Format.sprintf
>
>
> Best regards
>
> -Ulrich
>
> --
> |
> -----------------------------------------------------------------------
> | Ulrich Gemkow
> | University of Stuttgart
> | Institute of Communication Networks and Computer Engineering (IKR)
> |
> -----------------------------------------------------------------------
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
[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"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p>Thanks -- I'll apply this patch in the trunk.<br>
<br>
- B<br>
<br>
On Oct 4, 2009, at 9:47 AM, Ulrich Gemkow wrote:<br>
<br>
> Hello,<br>
><br>
> I am playing around with the new property dontchmod in unison 2.32.52<br>
> to achieve differing access rights on the sender and on the receiver<br>
> side after syncing. Both sides use UNIX (Linux).<br>
><br>
> When setting dontchmod I ran into the problem that unison raises an <br>
> exception<br>
> in props.ml because the resulting access rights differ from what it <br>
> expects.<br>
> I think this exception is wrong because when omitting the chmod <br>
> call, it<br>
> may well happen that the access rights differ.<br>
><br>
> So maybe the following patch is required which makes the check <br>
> dependent on<br>
> the new property:<br>
><br>
> --- props.ml.orig 2009-05-02 04:31:27.000000000 +0200<br>
> +++ props.ml 2009-10-04 15:25:30.000000000 +0200<br>
> @@ -211,7 +211,7 @@<br>
><br>
> let check fspath path stats (fp, mask) =<br>
> let fp' = stats.Unix.LargeFil<wbr>e.st_perm in<br>
> - if fp land mask <> fp' land mask then<br>
> + if (not (Prefs.read dontChmod)) && (fp land mask <> fp' land \
<br> > mask) then<br>
> raise<br>
> (Util.Transient<br>
> (Format.sprintf<br>
><br>
><br>
> Best regards<br>
><br>
> -Ulrich<br>
><br>
> -- <br>
> | <br>
> ------------<wbr>---------<wbr>---------<wbr>---------<wbr>---------<wbr>---------<wbr>-<br>
> | Ulrich Gemkow<br>
> | University of Stuttgart<br>
> | Institute of Communication Networks and Computer Engineering (IKR)<br>
> | <br>
> ------------<wbr>---------<wbr>---------<wbr>---------<wbr>---------<wbr>---------<wbr>-<br>
><br>
><br>
> ------------<wbr>---------<wbr>---------<wbr>------<br>
><br>
> Yahoo! Groups Links<br>
><br>
><br>
><br>
<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:bcpierce@cis.upenn.edu?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= \
X3oDMTMzNjJrbWc4BF9TAzk3MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEbXNnSWQDODYwNQRzZWMDZnRyBHNsawN2dHBjBHN0aW1lAzEyNTc5NjIzNTAEdHBjSWQDODU0Mg--">Messages \
in this topic</a> (<span style="font-weight: 700;">2</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=X3oDMTJlZmpvN3NhBF9TAzk3 \
MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA3Z0bARzbGsDdm1icnMEc3RpbWUDMTI1Nzk2MjM0OQ--?o=6" \
style="text-decoration: none;">New Members</a></span> <span class="ct" style="color: \
#ff7900;">2</span> </li>
</ul>
<div style="clear: both; padding-top: 2px; color: #1e66ae;">
<a href="http://groups.yahoo.com/group/unison-users;_ylc=X3oDMTJkMTMzZHJuBF9TAzk3M \
zU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA3Z0bARzbGsDdmdocARzdGltZQMxMjU3OTYyMzQ5" \
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=X3oDMTJkbWp0aW4zBF9TAzk3MzU \
5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA2Z0cgRzbGsDbnRwYwRzdGltZQMxMjU3OTYyMzUw" \
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=14k8270gr/M=493064.12016295.13793596.10835568/D=grou \
ps/S=1705004726:MKP1/Y=YAHOO/EXP=1257969550/L=/B=dvP0K0SO5_k-/J=1257962350702298/K=H7g \
QF3rqdyZq76kkv5g.Ag/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=X3oDMTJjcjQ5NGFoBF9TAzk3MzU5NzE0BGdycElkAzQ3OTc2NwRncnBzcElkAzE3MDUwMDQ3MjYEc2VjA2Z0cgRzbGsDZ2ZwBHN0aW1lAzEyNTc5NjIzNTA-" \
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> • <a \
href="mailto:unison-users-unsubscribe@yahoogroups.com?subject=Unsubscribe" \
style="text-decoration: none;">Unsubscribe</a> • <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=8605/stime=1257962350/nc1=4507179/nc2=3848644/nc3=3848586" \
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