diff options
| author | Michael Vogt <egon@bottom> | 2007-06-09 01:44:03 +0200 |
|---|---|---|
| committer | Michael Vogt <egon@bottom> | 2007-06-09 01:44:03 +0200 |
| commit | f32484472374cb6c93fef0cd4ee9f71a7b80ec8a (patch) | |
| tree | ce174fb35ed7266a2d123c7bf8883463ab04d603 /cmdline/apt-mark | |
| parent | 256f68abcf71157df78ab1aee08e46ff1b4f2b66 (diff) | |
| parent | fb2894d268d4821e0dd4f2b803ff2043b1ec3162 (diff) | |
* merged from apt--mvo
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) |