From cdde3e8fd5b674d0a6cce16f9b8c7ecc8842d605 Mon Sep 17 00:00:00 2001 From: Paul Jarrett Date: Tue, 29 Jun 2021 04:22:29 -0400 Subject: [PATCH] trendy_terminal 0.0.1 (#294) --- .../trendy_terminal-0.0.1.toml | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index/tr/trendy_terminal/trendy_terminal-0.0.1.toml diff --git a/index/tr/trendy_terminal/trendy_terminal-0.0.1.toml b/index/tr/trendy_terminal/trendy_terminal-0.0.1.toml new file mode 100644 index 00000000..ac12f8f6 --- /dev/null +++ b/index/tr/trendy_terminal/trendy_terminal-0.0.1.toml @@ -0,0 +1,29 @@ +name = "trendy_terminal" +description = "Terminal options and setup" +version = "0.0.1" + +authors = ["Paul Jarrett"] +maintainers = ["Paul Jarrett "] +maintainers-logins = ["pyjarrett"] +licenses = "Apache-2.0" +tags = ["terminal", "command-line", "console"] + +project-files = ["trendy_terminal.gpr"] + +[gpr-externals] +Mode = ["debug", "optimize"] + +[gpr-set-externals.'case(os)'] +windows = { Trendy_Terminal_Platform = "windows" } +linux = { Trendy_Terminal_Platform = "linux" } +macos = { Trendy_Terminal_Platform = "macos" } + +[available.'case(os)'] +linux = true +windows = true +macos = false + +[origin] +commit = "039b79ed12bcfe325f9981b78b2ec315fa4b11bd" +url = "git+https://github.com/pyjarrett/trendy_terminal.git" +