Jun 18, 2026, 10:25 AM
This commit is contained in:
@@ -5,7 +5,7 @@
|
||||
# defunije funkce pushLog() Notify() makePID() removePID()
|
||||
# autor: Ales Cernik
|
||||
#
|
||||
/**
|
||||
: <<'COMMENT'
|
||||
Skrypt init_sets.sh to uniwersalny plik pomocniczy (tzw. plik konfiguracyjny/biblioteczny), który jest wczytywany (poprzez polecenie source lub .) przez inne skrypty Bash, aby zapewnić im standaryzowane środowisko pracy. Z komentarzy wynika, że jest on zarządzany automatycznie przez system Puppet.
|
||||
|
||||
Oto co dokładnie robi i jakie funkcje udostępnia:
|
||||
@@ -32,7 +32,7 @@ Jeśli proces nie działa, zapisuje bieżący PID ($$) do pliku blokady i pozwal
|
||||
removePID() Funkcja sprzątająca – po prostu usuwa plik blokady (PID), aby zwolnić "kolejkę" dla kolejnych uruchomień skryptu.
|
||||
|
||||
Podsumowując: Jest to klasyczna "namiastka biblioteki" dla skryptów administracyjnych, ujednolicająca sposób ich logowania, raportowania błędów do systemu monitoringu oraz chroniąca przed zduplikowanym uruchomieniem zadań w tle (cron).
|
||||
**/
|
||||
COMMENT
|
||||
|
||||
myScript=${0##*/}
|
||||
#myPath="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" #"
|
||||
@@ -68,4 +68,3 @@ makePID () {
|
||||
removePID () {
|
||||
rm $lock_file
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user