diff options
author | Kristian Lyngstol <kristian@bohemians.org> | 2015-04-05 10:40:01 +0200 |
---|---|---|
committer | Kristian Lyngstol <kristian@bohemians.org> | 2015-04-05 10:40:01 +0200 |
commit | d596165ea5a110d4e043cbc2775ce888cfd6ae84 (patch) | |
tree | 6b850d7bbeec9e5d0c5dd5fd6808637d7b9790cf /tools/make_dummy_placement.sh | |
parent | c7cfa3768c6428acfcc2ee5331133f46275c6940 (diff) |
tg15 cleanup
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 |