Opened 9 years ago

Closed 9 years ago

#14559 closed enhancement (fixed)

Make sage-banner more pretty

Reported by: tmonteil Owned by: was
Priority: minor Milestone: sage-5.10
Component: user interface Keywords: banner, lounge
Cc: tjolivet Merged in: sage-5.10.beta5
Authors: Thierry Monteil Reviewers: John Palmieri, Volker Braun
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by tmonteil)

+--------------------------------------------------------------------+
| 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:

Attachments (1)

trac_14559_fancy_sage_banner-tm.patch (1.7 KB) - added by tmonteil 9 years ago.
New version, modifying sage/misc/banner.py

Download all attachments as: .zip

Change History (10)

comment:1 Changed 9 years ago by tmonteil

  • Status changed from new to needs_review

comment:2 Changed 9 years ago by jhpalmieri

To change the Sage banner, you need to modify the file devel/sage/sage/misc/banner.py. The file local/bin/sage-banner is auto-generated from that file.

comment:3 Changed 9 years ago by tmonteil

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.

Changed 9 years ago by tmonteil

New version, modifying sage/misc/banner.py

comment:4 Changed 9 years ago by tmonteil

  • Description modified (diff)

comment:5 Changed 9 years ago by leif

How about

/--------------------------------------------------------------------\
| Sage Version 5.9, Release Date: 2013-04-30                         |
| Type "notebook()" for the browser-based notebook interface.        |
| Type "help()" for help.                                            |
\--------------------------------------------------------------------/

?

Maybe we should make the style configurable...

XD

comment:6 Changed 9 years ago by vdelecroix

          +----    +---+    +---+   +---+
          |        |   |    |       |
          +---+    +---+    | +-+   +-+
              |    |   |    |   |   |
          +---+    +   +    +---+   +---+

It should definitely be configurable! But I guess a user do not want to hack the source at each version. There might be a function in "$HOME/.sage/init.sage" or "$HOME/.sage/custom_banner" succeptible of doing the job (to whom we send the version, the release date, etc).

comment:7 Changed 9 years ago by jhpalmieri

Maybe we should introduce half a dozen new environment variables to control this. Right, Leif? ;)

More seriously, I'm happy with the current patch. Do we want to get that merged soon and deal with further customization on another ticket, or deal with everything here?

comment:8 Changed 9 years ago by vbraun

  • Reviewers set to John Palmieri, Volker Braun
  • Status changed from needs_review to positive_review

Let's postpone making the banner configurable until we have solved all other trac tickets.

comment:9 Changed 9 years ago by jdemeyer

  • Merged in set to sage-5.10.beta5
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.