| 
									
										
										
										
											2010-03-11 22:53:45 +00:00
										 |  |  | #! /usr/bin/env python3 | 
					
						
							| 
									
										
										
										
											1998-09-14 15:46:41 +00:00
										 |  |  | "Replace CRLF with LF in argument files.  Print names of changed files." | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2002-11-13 21:04:31 +00:00
										 |  |  | import sys, os | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def main(): | 
					
						
							|  |  |  |     for filename in sys.argv[1:]: | 
					
						
							|  |  |  |         if os.path.isdir(filename): | 
					
						
							| 
									
										
										
										
											2007-08-03 17:06:41 +00:00
										 |  |  |             print(filename, "Directory!") | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  |             continue | 
					
						
							| 
									
										
										
										
											2011-05-09 01:29:30 +02:00
										 |  |  |         with open(filename, "rb") as f: | 
					
						
							|  |  |  |             data = f.read() | 
					
						
							|  |  |  |         if b'\0' in data: | 
					
						
							| 
									
										
										
										
											2007-08-03 17:06:41 +00:00
										 |  |  |             print(filename, "Binary!") | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  |             continue | 
					
						
							| 
									
										
										
										
											2011-05-09 01:29:30 +02:00
										 |  |  |         newdata = data.replace(b"\r\n", b"\n") | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  |         if newdata != data: | 
					
						
							| 
									
										
										
										
											2007-08-03 17:06:41 +00:00
										 |  |  |             print(filename) | 
					
						
							| 
									
										
										
										
											2011-05-09 01:29:30 +02:00
										 |  |  |             with open(filename, "wb") as f: | 
					
						
							|  |  |  |                 f.write(newdata) | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							|  |  |  |     main() |