| 
									
										
										
										
											2010-03-11 22:53:45 +00:00
										 |  |  | #! /usr/bin/env python3 | 
					
						
							| 
									
										
										
										
											1998-09-14 15:46:15 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | "Replace LF with CRLF in argument files.  Print names of changed files." | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-02-14 21:42:14 +00:00
										 |  |  | import sys, re, 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-08-12 19:40:05 +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-08-12 19:40:05 +02:00
										 |  |  |         newdata = re.sub(b"\r?\n", b"\r\n", data) | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  |         if newdata != data: | 
					
						
							| 
									
										
										
										
											2007-08-03 17:06:41 +00:00
										 |  |  |             print(filename) | 
					
						
							| 
									
										
										
										
											2011-08-12 19:40:05 +02:00
										 |  |  |             with open(filename, "wb") as f: | 
					
						
							|  |  |  |                 f.write(newdata) | 
					
						
							| 
									
										
										
										
											2004-08-09 17:27:55 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							|  |  |  |     main() |