1996-11-28 03:52:01 +08:00
|
|
|
#! /usr/bin/env python
|
1992-05-19 21:52:02 +08:00
|
|
|
|
|
|
|
|
# A rather specialized script to make sure that a symbolic link named
|
|
|
|
|
# RCS exists pointing to a real RCS directory in a parallel tree
|
|
|
|
|
# referenced as RCStree in an ancestor directory.
|
|
|
|
|
# (I use this because I like my RCS files to reside on a physically
|
|
|
|
|
# different machine).
|
|
|
|
|
|
|
|
|
|
import os
|
|
|
|
|
|
|
|
|
|
def main():
|
|
|
|
|
rcstree = 'RCStree'
|
|
|
|
|
rcs = 'RCS'
|
|
|
|
|
if os.path.islink(rcs):
|
|
|
|
|
print `rcs`, 'is a symlink to', `os.readlink(rcs)`
|
|
|
|
|
return
|
|
|
|
|
if os.path.isdir(rcs):
|
|
|
|
|
print `rcs`, 'is an ordinary directory'
|
|
|
|
|
return
|
|
|
|
|
if os.path.exists(rcs):
|
|
|
|
|
print `rcs`, 'is a file?!?!'
|
|
|
|
|
return
|
|
|
|
|
#
|
|
|
|
|
p = os.getcwd()
|
|
|
|
|
up = ''
|
|
|
|
|
down = ''
|
|
|
|
|
# Invariants:
|
|
|
|
|
# (1) join(p, down) is the current directory
|
|
|
|
|
# (2) up is the same directory as p
|
|
|
|
|
# Ergo:
|
|
|
|
|
# (3) join(up, down) is the current directory
|
|
|
|
|
#print 'p =', `p`
|
|
|
|
|
while not os.path.isdir(os.path.join(p, rcstree)):
|
|
|
|
|
head, tail = os.path.split(p)
|
|
|
|
|
#print 'head =', `head`, '; tail =', `tail`
|
|
|
|
|
if not tail:
|
|
|
|
|
print 'Sorry, no ancestor dir contains', `rcstree`
|
|
|
|
|
return
|
|
|
|
|
p = head
|
|
|
|
|
up = os.path.join(os.pardir, up)
|
|
|
|
|
down = os.path.join(tail, down)
|
|
|
|
|
#print 'p =', `p`, '; up =', `up`, '; down =', `down`
|
|
|
|
|
there = os.path.join(up, rcstree)
|
|
|
|
|
there = os.path.join(there, down)
|
|
|
|
|
there = os.path.join(there, rcs)
|
|
|
|
|
if os.path.isdir(there):
|
|
|
|
|
print `there`, 'already exists'
|
|
|
|
|
else:
|
|
|
|
|
print 'making', `there`
|
|
|
|
|
makedirs(there)
|
|
|
|
|
print 'making symlink', `rcs`, '->', `there`
|
|
|
|
|
os.symlink(there, rcs)
|
|
|
|
|
|
|
|
|
|
def makedirs(p):
|
|
|
|
|
if not os.path.isdir(p):
|
|
|
|
|
head, tail = os.path.split(p)
|
|
|
|
|
makedirs(head)
|
|
|
|
|
os.mkdir(p, 0777)
|
|
|
|
|
|
|
|
|
|
main()
|
