diff options
| author | Kristian Lyngstol <kristian@bohemians.org> | 2016-02-26 11:29:20 +0100 |
|---|---|---|
| committer | Kristian Lyngstol <kristian@bohemians.org> | 2016-02-26 11:29:20 +0100 |
| commit | e6fd0035555499fa186845f4c69b715e9ad246b9 (patch) | |
| tree | 947cf37c74731490de28d7ef02d09d5db63db125 /tools/make-dummy-placement.sh | |
| parent | 9da864a8da29082369cdd2dd91a735b03577a117 (diff) | |
More cleanup and adding add_switches.txt.pl
add_switches.txt.pl is not quite done yet
Diffstat (limited to 'tools/make-dummy-placement.sh')
| -rwxr-xr-x | tools/make-dummy-placement.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/make-dummy-placement.sh b/tools/make-dummy-placement.sh deleted file mode 100755 index 192e3d3..0000000 --- a/tools/make-dummy-placement.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -# Generate a random placement-entry insert for a named switch (convenient -# if you manually add a switch with no placement) - -for a in $* ; do -X=$(( $RANDOM % 500 )) -Y=$(( $RANDOM % 500 )) -X1=$(( $X + 20 )) -Y1=$(( $Y + 130 )) -echo "insert into placements select switch, box '(($X,$Y),($X1,$Y1))' from switches where sysname = '$a';" -done |