commit 3b4edf229c88f6d389b0439aff0da914c6747c52
parent 8547851c74da1d087e6b29b31abae63f9deebea9
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 29 Aug 2025 18:43:22 +0200
Stardis: fix a listing
The stardis profile is now named profile instead of stardis.profile.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/stardis/stardis.md.in b/stardis/stardis.md.in
@@ -360,11 +360,11 @@ to NONE as follows:
### Run
-Evaluate the installed `stardis.profile` file in the current
+Evaluate the installed `profile` file in the current
shell to register `stardis` against it.
You can then run `stardis` and consult its manual pages:
- . /path/to/stardis/etc/stardis.profile
+ . /path/to/stardis/etc/profile
stardis -h
man stardis