blob: bf52e6d83c3b1480ca66d56631925b154c91c2e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/opt/local/bin/python
#
# See ../README.md
#
#
# Run as: python ch-1.py < input-file
#
import fileinput
for line in fileinput . input ():
parts = line . rstrip () . split ("/") # Split input on /
parts2 = []
for part in parts:
if part == "" or part == ".": # Skip empty parts,
continue # and current directory.
if part == "..": # Pop parent directory
if len (parts2):
parts2 . pop ()
continue
parts2 . append (part) # Else, append.
print ("/" + "/" . join (parts2)) # Print result.
|