Successivo: , Precedente: , Su: Estensioni dinamiche   [Contenuti][Indice]


16.5 Come gawk trova le estensioni compilate

Le estensioni compilate vanno installate in una directory dove gawk possa trovarle. Se gawk è configurato e installato nella maniera di default, la directory dove trovare le estensioni è /usr/local/lib/gawk. Si può anche specificare un percorso di ricerca contenente una lista di directory da esaminare per la ricerca di estensioni compilate. Vedi AWKLIBPATH (Variabile) per ulteriori dettagli.