diff options
| author | Michael Vogt <egon@bottom> | 2007-05-02 13:58:21 +0200 |
|---|---|---|
| committer | Michael Vogt <egon@bottom> | 2007-05-02 13:58:21 +0200 |
| commit | b51ff02a550881118ce4c677a6f2ce1d0aff9cd8 (patch) | |
| tree | eb13239922de5805476416e86096e5b0b4f4cbdd /cmdline/apt-mark | |
| parent | 8171c75b9939a13aa22a3f45d436a6305af561ff (diff) | |
| parent | 54eda6ae969cd66d06fe82f7175f753a74d2b7dc (diff) | |
* updated from http://people.ubuntu.com/~mvo/bzr/apt/auto-mark/
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 533ed8715..dadc01366 100755 --- a/cmdline/apt-mark +++ b/cmdline/apt-mark @@ -60,4 +60,5 @@ if __name__ == "__main__": else: outfile.write(str(tagfile.Section)+"\n") # all done, rename the tmpfile + os.chmod(outfile.name, 0644) os.rename(outfile.name, STATE_FILE) |