App.__proj_dir(): Use configurable ___opt_root
Replace the hardcoded /opt in __proj_dir() with a configurable ___opt_root member, consistent with how __projs_root is configured.
Assisted-by: unsloth/Qwen3.6-35B-A3B-GGUF:IQ4_NL and pi.devSigned-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
parent
59a0e2ada8
commit
09e41df0ed
1 changed files with 2 additions and 1 deletions
|
|
@ -114,7 +114,7 @@ class App(Base):
|
||||||
if pretty:
|
if pretty:
|
||||||
return self.__pretty_topdir
|
return self.__pretty_topdir
|
||||||
return self.__topdir
|
return self.__topdir
|
||||||
for d in [self.__projs_root, '/opt']:
|
for d in [self.__projs_root, self.___opt_root]:
|
||||||
ret = d + '/' + name
|
ret = d + '/' + name
|
||||||
if os.path.exists(ret):
|
if os.path.exists(ret):
|
||||||
return ret
|
return ret
|
||||||
|
|
@ -350,6 +350,7 @@ class App(Base):
|
||||||
# -- Members with default values
|
# -- Members with default values
|
||||||
self.__topdir_fmt = 'absolute'
|
self.__topdir_fmt = 'absolute'
|
||||||
self.__projs_root = pwd.getpwuid(os.getuid()).pw_dir + '/local/src/jw.dev/proj'
|
self.__projs_root = pwd.getpwuid(os.getuid()).pw_dir + '/local/src/jw.dev/proj'
|
||||||
|
self.___opt_root = '/opt'
|
||||||
self.__pretty_projs_root = None
|
self.__pretty_projs_root = None
|
||||||
|
|
||||||
async def __init_async(self) -> None:
|
async def __init_async(self) -> None:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue