awk '($1+0) == $1{print $1, "(from " FILENAME ")"}' file* | sort -k2 -k1,1n | uniq -f1
например:
$ cat file1
10.25 3.5
10.15 4.5
# value1
10.25 3.5
12.15 4.5
11.25 3.5
10.05 4.5
$ cat file2
10.25 3.5
10.15 4.5
# value1
10.25 3.5
12.15 4.5
11.25 3.5
10.05 4.5
$ cat file3
10.25 3.5
10.15 4.5
# value1
10.25 3.5
12.15 4.5
11.25 3.5
10.05 4.5
.
$ awk '($1+0) == $1{print $1, "(from " FILENAME ")"}' file{1..3}
10.25 (from file1)
10.15 (from file1)
10.25 (from file1)
12.15 (from file1)
11.25 (from file1)
10.05 (from file1)
10.25 (from file2)
10.15 (from file2)
10.25 (from file2)
12.15 (from file2)
11.25 (from file2)
10.05 (from file2)
10.25 (from file3)
10.15 (from file3)
10.25 (from file3)
12.15 (from file3)
11.25 (from file3)
10.05 (from file3)
.
$ awk '($1+0) == $1{print $1, "(from " FILENAME ")"}' file{1..3} | sort -k2 -k1,1n
10.05 (from file1)
10.15 (from file1)
10.25 (from file1)
10.25 (from file1)
11.25 (from file1)
12.15 (from file1)
10.05 (from file2)
10.15 (from file2)
10.25 (from file2)
10.25 (from file2)
11.25 (from file2)
12.15 (from file2)
10.05 (from file3)
10.15 (from file3)
10.25 (from file3)
10.25 (from file3)
11.25 (from file3)
12.15 (from file3)
.
$ awk '($1+0) == $1{print $1, "(from " FILENAME ")"}' file{1..3} | sort -k2 -k1,1n | uniq -f1
10.05 (from file1)
10.05 (from file2)
10.05 (from file3)