Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#40470 - sbt not keeping SBT_OPTS

Attached to Project: Community Packages
Opened by Willem van Asperen (wasperen) - Tuesday, 20 May 2014, 14:28 GMT
Last edited by Andrea Scarpino (BaSh) - Tuesday, 20 May 2014, 15:49 GMT
Task Type Feature Request
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
The /usr/bin/sbt script sets SBT_OPTS. Any value set by the user get's overwritten.

version sbt 1:0.13.2-1

Steps to reproduce:
export SBT_OPTS="-Dhttp.proxyHost=myhost"
sbt package

here the proxy is not used because SBT_OPTS is overridden in /usr/bin/sbt

A better way would be to add the setting of SBT_OPTS to /etc/profile/sbt.sh. The script /usr/bin/sbt can then rely on SBT_OPTS being set and the user can choose to add options to SBT_OPT by providing them in the .bashrc or any other logon-setting-script
This task depends upon

Closed by  Andrea Scarpino (BaSh)
Tuesday, 20 May 2014, 15:49 GMT
Reason for closing:  Fixed
Additional comments about closing:  sbt 1:0.13.2-2
Comment by Willem van Asperen (wasperen) - Tuesday, 20 May 2014, 14:36 GMT
That would be: /etc/profile.d/sbt.sh

Plus: it would be good to add $JAVA_OPTS to the invocation of sbt as well. The script then becomes:

#!/bin/sh
java $SBT_OPTS $JAVA_OPTS -jar /usr/share/java/sbt/sbt-launch.jar "$@"
Comment by Andrea Scarpino (BaSh) - Tuesday, 20 May 2014, 15:36 GMT
_JAVA_OPTIONS is already taken.

"Picked up _JAVA_OPTIONS: -Dawt.useSystemAAFontSettings=lcd -Dswing.aatext=true"

Loading...