From 04e4e98525e64d165bd952d633336b2d652516de Mon Sep 17 00:00:00 2001
From: 6543 <6543@obermui.de>
Date: Tue, 22 May 2018 01:05:32 +0200
Subject: [PATCH] semilicon fix

---
 src/proj/debian       |  8 ++++----
 src/proj/desinfect.15 | 12 ++++++------
 src/proj/desinfect.16 | 10 +++++-----
 src/proj/desinfect.17 |  6 +++---
 4 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/src/proj/debian b/src/proj/debian
index 5fe9c2b..196dbe2 100755
--- a/src/proj/debian
+++ b/src/proj/debian
@@ -24,7 +24,7 @@ function tools_add-debian() {
 	chroot "$chroot_dir" /bin/bash -c "apt-get install -y $tools_list" | grep -v "wird eingerichtet ..." | grep -v "Vormals nicht ausgewähltes Paket" | grep -v "Entpacken von" | grep -v "Holen: " | grep -v "Trigger für" | grep -v "update-alternatives:"
 	echo "done"
 }
-function tools_add() { tools_add-debian $@ }
+function tools_add() { tools_add-debian $@; }
 
 #os_update [chroot_dir]
 function os_update-debian() {
@@ -40,7 +40,7 @@ function os_update-debian() {
 
 	echo "done"
 }
-function os_update() { os_update-debian $@ }
+function os_update() { os_update-debian $@; }
 
 #proxy_enable [chroot_dir] [proxy_host] [proxy_port]
 function proxy_enable-debian() {
@@ -79,7 +79,7 @@ function proxy_enable-debian() {
     fi
   fi
 }
-function proxy_enable() { proxy_enable-debian $@ }
+function proxy_enable() { proxy_enable-debian $@; }
 
 #dns_set [chroot_dir] [domain] [nameserver]
 function dns_set-debian() {
@@ -95,4 +95,4 @@ function dns_set-debian() {
 
   echo "done"
 }
-function dns_set() { dns_set-debian $@ }
+function dns_set() { dns_set-debian $@; }
diff --git a/src/proj/desinfect.15 b/src/proj/desinfect.15
index 0bc0081..02302d7 100755
--- a/src/proj/desinfect.15
+++ b/src/proj/desinfect.15
@@ -26,7 +26,7 @@ function iso_create-desinfect.15() {
 
   iso_create-debian  "$chroot_path" "$iso_extr_dir" "$iso_aim" "$iso_lable"
 }
-function iso_create() { iso_create-desinfect.15 $@ }
+function iso_create() { iso_create-desinfect.15 $@; }
 
 #chroot_initial-desinfect.15 [chroot_dir]
 function chroot_initial-desinfect.15() {
@@ -50,7 +50,7 @@ function chroot_initial-desinfect.15() {
 
   echo "done"
 }
-function iso_create() { iso_create-desinfect.15 $@ }
+function iso_create() { iso_create-desinfect.15 $@; }
 
 #chroot_umount-desinfect.15 [chroot_dir]
 function chroot_umount-desinfect.15() {
@@ -76,7 +76,7 @@ function chroot_umount-desinfect.15() {
 
   echo "done"
 }
-function chroot_umount() { chroot_umount-desinfect.15 $@ }
+function chroot_umount() { chroot_umount-desinfect.15 $@; }
 
 #proxy_enable-desinfect.15 [chroot_dir] [proxy_host] [proxy_port]
 function proxy_enable-desinfect.15() {
@@ -108,7 +108,7 @@ function proxy_enable-desinfect.15() {
 
   echo "done"
 }
-function proxy_enable() { proxy_enable-desinfect.15 $@ }
+function proxy_enable() { proxy_enable-desinfect.15 $@; }
 
 #sourcelist_desinfect_set_nomal2015 [chroot_dir]
 function sourcelist_desinfect_set_nomal2015() {
@@ -212,7 +212,7 @@ function os_update-desinfect.15() {
 
   echo "done"
 }
-function os_update() { os_update-desinfect.15 $@ }
+function os_update() { os_update-desinfect.15 $@; }
 
 #tools_add-desinfect.15 [chroot_dir] [tools_list]
 function tools_add-desinfect.15() {
@@ -224,4 +224,4 @@ function tools_add-desinfect.15() {
   tools_add-debian "$chroot_dir" "$tools_list"
   sourcelist_desinfect_set_nomal2015 "$chroot_dir"
 }
-function tools_add() { tools_add-desinfect.15 $@ }
+function tools_add() { tools_add-desinfect.15 $@; }
diff --git a/src/proj/desinfect.16 b/src/proj/desinfect.16
index 03e8d60..89e5d5a 100755
--- a/src/proj/desinfect.16
+++ b/src/proj/desinfect.16
@@ -28,7 +28,7 @@ function chroot_initial-desinfect.16() {
 
   echo "done"
 }
-function chroot_initial() { chroot_initial-desinfect.16 $@ }
+function chroot_initial() { chroot_initial-desinfect.16 $@; }
 
 #chroot_umount-desinfect.16 [chroot_dir]
 function chroot_umount-desinfect.16() {
@@ -51,7 +51,7 @@ function chroot_umount-desinfect.16() {
 
   echo "done"
 }
-function chroot_umount() { chroot_umount-desinfect.16 $@ }
+function chroot_umount() { chroot_umount-desinfect.16 $@; }
 
 #proxy_enable-desinfect.16 [chroot_dir] [proxy_host] [proxy_port]
 function proxy_enable-desinfect.16() {
@@ -95,7 +95,7 @@ function proxy_enable-desinfect.16() {
 
   echo "done"
 }
-function proxy_enable() { proxy_enable-desinfect.16 $@ }
+function proxy_enable() { proxy_enable-desinfect.16 $@; }
 
 #sourcelist_desinfect_set_nomal2016 [chroot_dir]
 function sourcelist_desinfect_set_nomal2016() {
@@ -247,7 +247,7 @@ function os_update-desinfect.16() {
 
   echo "update virus definitions done"
 }
-function os_update() { os_update-desinfect.16 $@ }
+function os_update() { os_update-desinfect.16 $@; }
 
 #tools_add-desinfect.16 [chroot_dir] [tools_list]
 function tools_add-desinfect.16() {
@@ -259,4 +259,4 @@ function tools_add-desinfect.16() {
   tools_add-debian "$chroot_dir" "$tools_list"
   sourcelist_desinfect_set_nomal2016 "$chroot_dir"
 }
-function tools_add() { tools_add-desinfect.16 $@ }
+function tools_add() { tools_add-desinfect.16 $@; }
diff --git a/src/proj/desinfect.17 b/src/proj/desinfect.17
index e4085da..18c99f3 100755
--- a/src/proj/desinfect.17
+++ b/src/proj/desinfect.17
@@ -162,7 +162,7 @@ function os_update-desinfect.17() {
 
   echo "update virus definitions done"
 }
-function os_update() { os_update-desinfect.17 $@ }
+function os_update() { os_update-desinfect.17 $@; }
 
 #proxy_enable-desinfect.17 [chroot_dir] [proxy_host] [proxy_port]
 function proxy_enable-desinfect.17() {
@@ -237,7 +237,7 @@ function proxy_enable-desinfect.17() {
 
   echo "done"
 }
-function proxy_enable() { proxy_enable-desinfect.17 $@ }
+function proxy_enable() { proxy_enable-desinfect.17 $@; }
 
 #tools_add-desinfect.17 [chroot_dir] [tools_list]
 function tools_add-desinfect.17() {
@@ -249,4 +249,4 @@ function tools_add-desinfect.17() {
   tools_add-debian "$chroot_dir" "$tools_list"
   sourcelist_desinfect_set_nomal2017 "$chroot_dir"
 }
-function tools_add() { tools_add-desinfect.17 $@ }
+function tools_add() { tools_add-desinfect.17 $@; }