[JAL-3815] default /etc/jalview_properties allowing debian package-conf to control defaults for new Jalview users - Jalview

XML

Word

Printable

Details

Type: Improvement
Status: Closed
Priority: Major
Resolution: Fixed
Affects Version/s: None
Fix Version/s: 2.11.1.4, 2.11.2.0
Component/s: debian, Properties and Preferences
Labels:
None

Description

jalview_properties defaults for use by jalview wrapper script that copies default settings into ~/.jalview_properties if it doesn't already exist. Avoids need to pass hardwired arguments that cannot be overriden by the user's own preferences.

Attachments

Activity

People

Assignee:: James Procter

Reporter:: Pierre Gruet

Votes:: 0 Vote for this issue

Watchers:: 1 Start watching this issue

Dates

Created:: 07/Feb/21 1:20 PM

Updated:: 23/Sep/21 2:32 PM

Resolved:: 23/Sep/21 2:32 PM