Opened 11 years ago

Closed 11 years ago

#484 closed enhancement (implemented)

support for user-specific gde-menu

Reported by: westram Owned by: westram
Priority: normal Milestone: arb6
Component: External_tools Version: SVN
Keywords: Cc:

Description

  • additionally read $ARB_PROP/ARB_GDEmenus.local

Change History (5)

comment:1 Changed 11 years ago by westram

  • Milestone set to arb6

requested by developer of ​https://github.com/EESI/ARB-toolkit

comment:2 follow-up: Changed 11 years ago by epruesse

If it's to read multiple files anyway — how about having it read "lib/GDEmenues/*" instead of "GDEHELP/ARB_GDEmenues"? That would allow adding/removing tools w/o recompile in general.

comment:3 in reply to: ↑ 2 Changed 11 years ago by westram

Replying to epruesse:

If it's to read multiple files anyway — how about having it read "lib/GDEmenues/*" instead of "GDEHELP/ARB_GDEmenues"? That would allow adding/removing tools w/o recompile in general.

Good point. We'll make it read

  • $ARB_PROP/menus/*.menu +
  • $ARBHOME/lib/menus/*.menu

comment:4 Changed 11 years ago by westram

  • Owner changed from devel to westram
  • Status changed from new to assigned

comment:5 Changed 11 years ago by westram

  • Resolution set to implemented
  • Status changed from assigned to closed

by [11874]

Note: See TracTickets for help on using tickets.