From 3fbe434bbb361344963722010eb61abfcdda71b6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 8 Nov 2021 16:44:10 +0100
Subject: [PATCH] Include short version information in banner message
---
src/main/java/de/prob2/jupyter/ProBKernel.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java
index bcff44a..768148d 100644
--- a/src/main/java/de/prob2/jupyter/ProBKernel.java
+++ b/src/main/java/de/prob2/jupyter/ProBKernel.java
@@ -486,7 +486,8 @@ public final class ProBKernel extends BaseKernel {
@Override
public @NotNull String getBanner() {
- return "ProB Interactive Expression and Predicate Evaluator (on Jupyter)\nType \":help\" for more information.";
+ final String version = String.format("Version %s (%s)", getVersion(), getCommit());
+ return "ProB Interactive Expression and Predicate Evaluator (on Jupyter)\n" + version + "\nType \":help\" for a list of commands, \":version\" for full version information.";
}
@Override
--
GitLab