⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 start.sh

📁 uva trilearn的robocup源程序
💻 SH
字号:
#!/bin/tcsh# This script starts the UvA_Trilearn_2002 team. When player numbers are # supplied before the (optional) host-name and team-name arguments only# these players are started, otherwise all players are started.# Usage:   start.sh <player-numbers> <host-name> <team-name>## Example: start.sh                 all players default host and name# Example: start.sh machine         all players on host 'machine'# Example: start.sh localhost UvA   all players on localhost and name 'UvA'# Example: start.sh 1 2 3 4         players 1-4 on default host and name# Example: start.sh 1 2 remote      players 1-2 on host 'remote'# Example: start.sh 9 10 remote UvA players 9-10 on host 'remote' and name 'UvA'set wait  = 0set host  = "localhost"set team  = "UvA_Trilearn" set prog  = "./trilearn_player"echo "*****************************************************************"echo "* UvA_Trilearn 2002 - University of Amsterdam, The Netherlands  *"echo "* Created by:           Jelle Kok                               *"echo "* Research Coordinator: Nikos Vlassis                           *" echo "* Team Coordinator:     Frans Groen                             *"echo "* Copyright 2000-2001.  Jelle Kok and Remco de Boer             *"echo "* Copyright 2001-2002.  Jelle Kok                               *"echo "* All rights reserved.                                          *"echo "*****************************************************************"#first check if the last two supplied arguments are no numbers and represent#<host-name> or <host-name> <team-name>#then if first argument is a number, start only the players with the numbers#as supplied on the prompt, otherwise start all players.if( $#argv > 0 && $argv[$#argv] !~ [0123456789]* ) then  @ second_last = $#argv - 1    if( $#argv > 1 && $argv[$second_last] !~ [0123456789]*) then      set host = $argv[$second_last]      set team = $argv[$#argv]  else      set host = $argv[$#argv]  endifendifif( $1 =~ [0123456789]* ) then  foreach arg ($argv)    if( $arg =~ [123456789]*) then      ${prog} -number ${arg} -host ${host} -team ${team} &      sleep $wait    endif  endelse  set i = 1  while ( ${i} < 12 )    ${prog} -number ${i} -host ${host} -team ${team} &      	    sleep $wait    @ i++  endendif  

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -