Tuota exec:ä etsin, mutta en osannut hakea oikeilla hakusanoilla, bashissahan se on source TIEDOSTO?
Ei, exec ja source tekevät eri asioita ja esiintyvät kummassakin komentotulkissa, niin Zsh:ssa kuin Bashissakin.
exec korvaa käynnissä olevan komentotulkin toisella ohjelmalla, joka tässä on siis komentotulkki mutta voisi olla jotakin muutakin. Usein esimerkiksi graafisia ohjelmia käynnistävät skriptit päättyvät riviin ”exec KOMENTO”, jolloin komentotulkki ei suotta jää odottelemaan komennon päättymistä.
source ja sen perinteisempi synonyymi . (piste) taas suorittavat skriptin sisällön samassa komentotulkissa.
Kumpikin varmasti ajaisi tässä tapauksessa asiansa. Itse olen suosinut exec’iä, koska se samalla nollaa kaikki sellaiset asetukset, jotka on ehtinyt tehdä komentorivillä kokeillessaan.