The current PR says this:
'!' sets the directory to g.app.loadDir.
'~' sets the directory to os.path.expanduser('~')
'*' sets the directory to os.environ['LEO_BASE_DIRECTORY'] or
os.path.expanduser('~') if the environment variable does not
exist.
1. I don't see any need to use the expression "{{~}}". Just using "~" works
now - no need to change it, IMHO. It would add visual clutter for no
benefit.
2. I'd like to see mnemonic symbols. For example:
{{loadDir}}
{{LEOBASE}}
While we're at it, let's have all the symbolic Leo directories available -
g.app.homeDir #C:/Users/tom
g.app.homeLeoDir #C:/Users/tom/.leo
g.app.leoDir #c:/Tom/git/leo-editor/leo
g.app.loadDir #c:/Tom/git/leo-editor/leo/core
g.app.extensionsDir #c:/Tom/git/leo-editor/leo/extensions
g.app.testDir #c:/Tom/git/leo-editor/leo/test
Then I could write, for example:
@file {{leoDir}}/plugins/new_plugin.py
@file ~/.leo/themes/tbp_new_theme.leo # or {{homeLeoDir}}/themes/
tbp_new_theme.leo
This would be very easy to read, write, and understand, and would be easy
to implement. Visual clutter would be at a minimum.
3. I'd like to add an alias for *loadDir* - *leoCoreDir*. It's more
mnemonic. I'm never sure I remember what *loadDir* means.
On Saturday, April 8, 2023 at 2:24:24 PM UTC-4 Edward K. Ream wrote:
> On Saturday, April 8, 2023 at 1:17:31 PM UTC-5 [email protected] wrote:
>
> "*" is so widely used as a wildcard for any string that it would be
> confusing to use it in another way.
>
>
> Alright. What *single* character would you prefer?
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/a1d1c88d-1f73-4b92-9cc3-23f8e6653b4dn%40googlegroups.com.
