File: fixlinks

package info (click to toggle)
mpi-specs 20040719-3
  • links: PTS
  • area: non-free
  • in suites: buster, stretch
  • size: 820 kB
  • ctags: 3
  • sloc: makefile: 46; sh: 7
file content (11 lines) | stat: -rw-r--r-- 175 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/sh

set -e
for i in "$@" ; do
	sed 	-e "s|http://www.mpi-forum.org/docs|/usr/share/doc/mpi-specs|" \
		"$i" > "$i.tmp"
	touch -r "$i" "$i.tmp"
	mv "$i.tmp" "$i"
done