Почему Scala используют перевернутую хижину вместо того, чтобы просто заходящего переводчика Скале

Question

Скала документация показывает, что способ создать SCALA сценарий, как это (#!):

#!/bin/sh 
exec scala "$0" "$@" 
!# 
/* Script here */ 

Я знаю, что это выполняет Scala с именем файла сценария и переданными ему аргументами, и что команда scala, по-видимому, знает, как читать файл, который начинается следующим образом, и игнорировать все до обратного shebang !#

Мой вопрос: есть ли какая-либо причина почему я должен использовать этот (довольно подробный) формат для скрипта scala, а не просто:

#!/bin/env scala 
/* Script here */ 

Это, насколько я могу судить по быстрому тесту, делает то же самое, но менее многословно.

Answer 1

Сколько лет в документации? Обычно такая вещь (часто называемая «exec hack») была рекомендована до того, как /bin/env был распространен, и это был лучший способ получить функциональность. Обратите внимание, что /usr/bin/env чаще встречается, чем /bin/env, и его следует использовать вместо этого.

Answer 2

Отметьте, что это /usr/bin/env, а не /bin/env.

Нет преимуществ при использовании промежуточной оболочки вместо /usr/bin/env, за исключением работы в некоторых редких античных вариантах Unix, где env не находится в /usr/bin. Ну, технически SCO все еще существует, но Scala даже работает там?

Однако преимущество варианта оболочки является то, что он дает возможность настраивать то, что выполняется, например, для добавления элементов в PATH или CLASSPATH, или добавить опции, такие как -savecompiled к переводчику (как показано в manual) , Возможно, поэтому документация предлагает форму оболочки.

Я не в команде разработчиков Scala, и я не знаю, какова историческая мотивация документации Scala.

Answer 3

Scala не всегда поддерживает /usr/bin/env. Никакой конкретной причины для этого, просто, я думаю, человек, который написал поддержку сценариев оболочки, не был знаком с этим синтаксисом еще в середине 00-х. Документация соответствовала тому, что было поддержано, и я добавил поддержку /usr/bin/env в какой-то момент (iirc), но так и не потрудился сменить документацию.