mirror of
https://git.launchpad.net/ubuntu-dev-tools
synced 2025-05-20 13:21:28 +00:00
basename() script name for prefix
This commit is contained in:
parent
1bb418e02f
commit
4e827697e8
@ -56,7 +56,7 @@ def get_value(key, default=None, prefix=None, compat_vars=[]):
|
|||||||
prefix is applied to them.
|
prefix is applied to them.
|
||||||
"""
|
"""
|
||||||
if prefix is None:
|
if prefix is None:
|
||||||
prefix = sys.argv[0].upper().replace('-', '_') + '_'
|
prefix = os.path.basename(sys.argv[0]).upper().replace('-', '_') + '_'
|
||||||
|
|
||||||
config = get_devscripts_config()
|
config = get_devscripts_config()
|
||||||
for k in (prefix + key, 'UBUNTUTOOLS_' + key):
|
for k in (prefix + key, 'UBUNTUTOOLS_' + key):
|
||||||
|
Loading…
x
Reference in New Issue
Block a user