diff options
| author | eunhhu <[email protected]> | 2026-10-01 03:23:27 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-01 03:23:27 +0100 |
| commit | a0840d6ebfcc6d992d60d119fb596cf76d54c7cc (patch) | |
| tree | c796e43e78acc67b3057a5c5aa366034f8549865 /docs/design/006-native-protocol.md | |
| parent | db4ee9cc3ac5921830053d79efb09a0dc24da3d4 (diff) | |
| download | pure-a0840d6ebfcc6d992d60d119fb596cf76d54c7cc.tar.gz pure-a0840d6ebfcc6d992d60d119fb596cf76d54c7cc.zip | |
Let the load tool put an app's name before its paths
load takes a ninth argument, PREFIX, put before every path: /NAME for
an app of a host of apps (pure-serve --apps, 017). Without it, as
before.
Diffstat (limited to 'docs/design/006-native-protocol.md')
0 files changed, 0 insertions, 0 deletions