diff options
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 |