GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 06:52:44 +03:00
Code Issues Projects Releases Wiki Activity

Indicate in the logo, if the repo has been modified.

Browse Source
This commit is contained in:
Iavor Diatchki 2019-01-08 17:14:05 -08:00
parent 60c1baebfd
commit 58eb799ec9
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cryptol/REPL/Logo.hs
View File

@ -11,7 +11,7 @@ module REPL.Logo where
import Cryptol.REPL.Monad
import Paths_cryptol (version)
import Cryptol.Version (commitShortHash)
import Cryptol.Version (commitShortHash,commitDirty)
import Data.Version (showVersion)
import System.Console.ANSI
@ -30,7 +30,8 @@ logo useColor mk =
sgr | useColor = setSGRCode
| otherwise = const []
hashText | commitShortHash == "UNKNOWN" = ""
| otherwise = " (" ++ commitShortHash ++ ")"
| otherwise = " (" ++ commitShortHash ++
(if commitDirty then ", modified)" else ")")
versionText = "version " ++ showVersion version ++ hashText
ver = sgr [SetColor Foreground Dull White]
++ replicate (lineLen - 20 - length versionText) ' '