diff options
| author | Jeff Carr <[email protected]> | 2024-11-22 11:14:55 -0600 |
|---|---|---|
| committer | Jeff Carr <[email protected]> | 2024-11-22 11:14:55 -0600 |
| commit | 5f65e4f4bed438ae30ba90ab334e0e0ab9bfdefa (patch) | |
| tree | 40f84150f475ee802b2a650c4b00f2a47f074783 /repo.proto | |
| parent | 3ba652743c8f73dffb645ae574c2549f1b000466 (diff) | |
name fixups
Diffstat (limited to 'repo.proto')
| -rw-r--r-- | repo.proto | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,7 +24,7 @@ message Repo { string develBranch = 9; // whatever the git 'devel' branch name is string userBranch = 10; // whatever your username branch is - string debname = 11; // the actual name used with 'apt install' (or distro apt equivalent. + string debName = 11; // the actual name used with 'apt install' (or distro apt equivalent. // todo: appeal to everyone to alias 'apt' on rhat, gentoo, arch, etc to alias 'apt install' // so we can make easier instructions for new linux users. KISS |
