Opened 9 years ago
Last modified 9 years ago
#14559 closed enhancement
Make sage-banner more pretty — at Version 4
Reported by: | tmonteil | Owned by: | was |
---|---|---|---|
Priority: | minor | Milestone: | sage-5.10 |
Component: | user interface | Keywords: | banner, lounge |
Cc: | tjolivet | Merged in: | |
Authors: | Thierry Monteil | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
+--------------------------------------------------------------------+ | Sage Version 5.9, Release Date: 2013-04-30 | | Type "notebook()" for the browser-based notebook interface. | | Type "help()" for help. | +--------------------------------------------------------------------+
looks better than
---------------------------------------------------------------------- | Sage Version 5.9, Release Date: 2013-04-30 | | Type "notebook()" for the browser-based notebook interface. | | Type "help()" for help. | ----------------------------------------------------------------------
:)
Apply:
Change History (5)
comment:1 Changed 9 years ago by
- Status changed from new to needs_review
comment:2 Changed 9 years ago by
comment:3 Changed 9 years ago by
Yep, i just discovered that, i was misleaded by the fact that sage-banner appears in the sage-scripts repository http://hg.sagemath.org/sage-scripts/src. I will update the patch accordingly. Thanks.
comment:4 Changed 9 years ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.
To change the Sage banner, you need to modify the file
devel/sage/sage/misc/banner.py
. The filelocal/bin/sage-banner
is auto-generated from that file.