diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 01:34:26 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 01:34:26 +0200 |
| commit | 468126e3030ac3db47e4c7d361badf99c338fdf4 (patch) | |
| tree | d4e74209ab84acadc0d79b9b3729da27dbd9ce47 /cmdline/apt-mark | |
| parent | 5a68ea79e4828bb5615b1d490fe811c18d04a8e1 (diff) | |
| parent | 8a3a2e994e0e49fb5b610dba0f810b67f0ab229e (diff) | |
* merged some more missing bits
Diffstat (limited to 'cmdline/apt-mark')
| -rwxr-xr-x | cmdline/apt-mark | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmdline/apt-mark b/cmdline/apt-mark index dadc01366..fdc3e1856 100755 --- a/cmdline/apt-mark +++ b/cmdline/apt-mark @@ -62,3 +62,4 @@ if __name__ == "__main__": # all done, rename the tmpfile os.chmod(outfile.name, 0644) os.rename(outfile.name, STATE_FILE) + os.chmod(outfile.name, 0644) |