| Guido van Rossum | f06ee5f | 1996-11-27 19:52:01 +0000 | [diff] [blame^] | 1 | #! /usr/bin/env python |
| Guido van Rossum | b83ec8f | 1992-05-19 13:52:02 +0000 | [diff] [blame] | 2 | |
| 3 | # A rather specialized script to make sure that a symbolic link named |
| 4 | # RCS exists pointing to a real RCS directory in a parallel tree |
| 5 | # referenced as RCStree in an ancestor directory. |
| 6 | # (I use this because I like my RCS files to reside on a physically |
| 7 | # different machine). |
| 8 | |
| 9 | import os |
| 10 | |
| 11 | def main(): |
| 12 | rcstree = 'RCStree' |
| 13 | rcs = 'RCS' |
| 14 | if os.path.islink(rcs): |
| 15 | print `rcs`, 'is a symlink to', `os.readlink(rcs)` |
| 16 | return |
| 17 | if os.path.isdir(rcs): |
| 18 | print `rcs`, 'is an ordinary directory' |
| 19 | return |
| 20 | if os.path.exists(rcs): |
| 21 | print `rcs`, 'is a file?!?!' |
| 22 | return |
| 23 | # |
| 24 | p = os.getcwd() |
| 25 | up = '' |
| 26 | down = '' |
| 27 | # Invariants: |
| 28 | # (1) join(p, down) is the current directory |
| 29 | # (2) up is the same directory as p |
| 30 | # Ergo: |
| 31 | # (3) join(up, down) is the current directory |
| 32 | #print 'p =', `p` |
| 33 | while not os.path.isdir(os.path.join(p, rcstree)): |
| 34 | head, tail = os.path.split(p) |
| 35 | #print 'head =', `head`, '; tail =', `tail` |
| 36 | if not tail: |
| 37 | print 'Sorry, no ancestor dir contains', `rcstree` |
| 38 | return |
| 39 | p = head |
| 40 | up = os.path.join(os.pardir, up) |
| 41 | down = os.path.join(tail, down) |
| 42 | #print 'p =', `p`, '; up =', `up`, '; down =', `down` |
| 43 | there = os.path.join(up, rcstree) |
| 44 | there = os.path.join(there, down) |
| 45 | there = os.path.join(there, rcs) |
| 46 | if os.path.isdir(there): |
| 47 | print `there`, 'already exists' |
| 48 | else: |
| 49 | print 'making', `there` |
| 50 | makedirs(there) |
| 51 | print 'making symlink', `rcs`, '->', `there` |
| 52 | os.symlink(there, rcs) |
| 53 | |
| 54 | def makedirs(p): |
| 55 | if not os.path.isdir(p): |
| 56 | head, tail = os.path.split(p) |
| 57 | makedirs(head) |
| 58 | os.mkdir(p, 0777) |
| 59 | |
| 60 | main() |