File: scramble.awk

package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389
file content (67 lines) | stat: -rwxr-xr-x 1,038 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#!/opt/local/bin/gawk -f

# Usage: scramble.awk file 
#
# Copyright 1999 Stephan Schulz, schulz@informatik.tu-muenchen.de
#
# Read file line by line and output the lines in random order.
#


function get_pid(     tmp)
{
   tmp = PROCINFO["pid"];
   # getline tmp < "/dev/pid";
   #   close("/dev/pid");
   if(!tmp)
   {
      print "scramble.awk: Cannot get PID ?!?" > "/dev/stderr";
      exit 1;
   }
   return tmp;
}

function get_hostname(   pipe, tmp)
{
   pipe = "hostname";
   pipe | getline tmp;
   close(pipe);
   return tmp;
}

function get_tmpname(   file)
{
   file = "__scramble__" get_hostname() "__" get_pid() "__";
   return file;
}

BEGIN{
   srand(10);
}

{
   key = rand();
   while(array[key])
   {
      key = rand();
   }
   array[key] = $0;
}



END{
   procid = get_pid();
   file = get_tmpname();
   for(i in array)
   {
      printf("%1.12f %s\n", i, array[i]) > file ;
   }
   close(file);
   cmd = "sort " file;
   while ((cmd | getline tmp) > 0)
   {
      print substr(tmp,16);
   }
   system("rm " file);
}