14 lines
		
	
	
	
		
			291 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			14 lines
		
	
	
	
		
			291 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
| #!/bin/sh
 | |
| 
 | |
| # lines of form:
 | |
| # Givenname Last Name (student number) <email address>
 | |
| LIST="${LIST:-$HOME/.local/share/students.list}"
 | |
| 
 | |
| while read line; do
 | |
| 	name="${line% (*}"
 | |
| 	number="${line%) *}"
 | |
| 	number="${number#* (}"
 | |
| 	if [ -e "$number" ]; then
 | |
| 		ln -s "$number" "$name"
 | |
| 	fi
 | |
| done < "$LIST"
 | 
