diff options
Diffstat (limited to 'setup')
| -rw-r--r-- | setup/adei.txt | 2 | ||||
| -rw-r--r-- | setup/domains.txt | 2 | ||||
| -rw-r--r-- | setup/remote.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/setup/adei.txt b/setup/adei.txt index 9c95888..2e2a2d9 100644 --- a/setup/adei.txt +++ b/setup/adei.txt @@ -3,4 +3,4 @@ kaas http://adei-katrin.kaas.kit.edu/adei/ detector http://192.168.110.67/adei/ crd http://adei.crd.yerphi.am/adei/ pcebessadei.competence-e.kit.edu http://pcebessadei.competence-e.kit.edu/adei-battery/ -imkmastadei.ka.fzk.de http://imkmastadei.ka.fzk.de/adei/ +imkmastadei.ka.fzk.de http://imkmastadei.imk-tro.kit.edu/adei/ diff --git a/setup/domains.txt b/setup/domains.txt index 4c119ab..c919d76 100644 --- a/setup/domains.txt +++ b/setup/domains.txt @@ -1,2 +1,2 @@ -imkmastadei ka.fzk.de +imkmastadei imk-tro.kit.edu pcebessadei competence-e.kit.edu diff --git a/setup/remote.sh b/setup/remote.sh index c172415..5470e9c 100644 --- a/setup/remote.sh +++ b/setup/remote.sh @@ -3,7 +3,7 @@ timeout=2 fold=120 palete='blue' parallel=0 -report="standart_report" +report_style="standart_report" # Helpers |