Mi chiedevo se esiste una convenzione per le estensioni dei tipi di file per gli script di shell che si desidera generare anziché eseguire. Per esempio:
Se voglio eseguire questo script in una subshell.
./script.sh
Se voglio ricordare di eseguire questo script dalla shell corrente.
. script.source
Esiste una convenzione (come POSIX per esempio) per un tipo di file nel secondo esempio? Qualcosa di simile .source
o .sourceme
?
Aggiornare
Questa domanda non fa alcuna opinione. Ho affermato chiaramente che vorrei sapere se esiste un'estensione di file standardizzata per questo tipo di script. Questa domanda è ancora meno basata sull'opinione di questa ben accolta domanda su un problema simile ( usare l'estensione .sh o .bash per gli script bash? ).
$PATH
, si arriva a usare tutto il tempo, quindi è come, ps
, ls
, curl
e tutti gli altri comandi, poi si inizia a funzioni di completamento di shell costruire intorno ad esso, trovo va bene rilasciare l'estensione. Ma sì, quando stai acquistando uno script di shell, che non sono eseguibili da soli, non chmod +x
li farei e li nominerei script.sh
. inoltre spesso assegno un'estensione semplicemente perché se non lo faccio non otterrò l'evidenziazione della sintassi sul mio editor.
#!/bin/sh
o simili non dovrebbero avere estensione, perché l'utente non dovrebbe preoccuparsi della lingua in cui è stato scritto lo script sottostante.