diff options
Diffstat (limited to 'tools/make_dummy_placement.sh')
| -rwxr-xr-x | tools/make_dummy_placement.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/make_dummy_placement.sh b/tools/make_dummy_placement.sh deleted file mode 100755 index 8a2a831..0000000 --- a/tools/make_dummy_placement.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -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 |