J'ai vu quelques questions sur l'exécution de scripts en ligne de commande ? J'ai vu que les extensions .command et .tool étaient mentionnées. J'ai toujours utilisé .sh. Quelle est la différence entre ces différents scripts ? Certaines extensions permettent-elles des commandes différentes ?
" Je suis sûr que la différence entre les deux premiers (.command vs. .tool) est subtile " En fait, les différences sont inexistantes :-) Le terminal les traite de manière identique. Les deux extensions de nom de fichier correspondent exactement au même type de fichier dans le fichier Info.plist de Terminal et Terminal ne tente pas de détecter quelle extension a été fournie. De plus, hormis le fait qu'avoir des extensions différentes signifie qu'ils peuvent avoir des applications par défaut différentes, le contenu de ces trois types de fichiers est le même. Ils sont tous simplement des scripts.
