diff options
author | Vincent Ambo <tazjin@tvl.su> | 2024-02-23T08·00+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-02-23T08·08+0000 |
commit | 782cfa9e3372d0cfe13471597968d58deb181e71 (patch) | |
tree | 590d43f902e8ce560a26781732df87105a19b9e9 /web/tvixbolt/src/main.rs | |
parent | 91d5745c3dbb3eb118be969a80e0608794b0e59d (diff) |
chore(tvixbolt): move from //corp to //web r/7595
Assigning copyright to the TVL community (whatever that is), and adding AGPL-3.0-or-later license. I also cleaned up some of the stuff on the landing page. Change-Id: I4dbca19406e00e5105fed50e8fb64e0fcca23e3a Reviewed-on: https://cl.tvl.fyi/c/depot/+/11013 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to '')
-rw-r--r-- | web/tvixbolt/src/main.rs (renamed from corp/tvixbolt/src/main.rs) | 50 |
1 files changed, 14 insertions, 36 deletions
diff --git a/corp/tvixbolt/src/main.rs b/web/tvixbolt/src/main.rs index e8a2bc02e2..2e68e03fb0 100644 --- a/corp/tvixbolt/src/main.rs +++ b/web/tvixbolt/src/main.rs @@ -1,3 +1,8 @@ +// tvixbolt - an online tool for exploring Tvix language evaluation +// +// Copyright (C) The TVL Community +// SPDX-License-Identifier: AGPL-3.0-or-later + use std::fmt::Write; use serde::{Deserialize, Serialize}; @@ -35,23 +40,17 @@ fn tvixbolt_overview() -> Html { <> <p> {"This page lets you explore the bytecode generated by the "} - <a href="https://cs.tvl.fyi/depot/-/tree/tvix">{"Tvix"}</a> - {" compiler for the Nix language. See the "} - <a href="https://tvl.fyi/blog/rewriting-nix">{"Tvix announcement"}</a> - {" for some background information on Tvix itself."} + <a href="https://tvix.dev">{"Tvix"}</a> + {" compiler for the Nix language."} </p> <p> - {"Tvix is still "}<i>{"extremely work-in-progress"}</i>{" and you "} - {"should expect to be able to cause bugs and errors in this tool."} + {"Tvix is still "}<i>{"work-in-progress"}</i>{" and we would appreciate "} + {"if you told us about bugs you find."} </p> <p> - {"Tvixbolt is a project from "} - <a href="https://tvl.su"> - {"TVL LLC"} - </a> - {". If you're looking for the TVL Community, click "} + {"Tvixbolt is a project by "} <a href="https://tvl.fyi"> - {"here"} + {"TVL"} </a> {"."} </p> @@ -59,26 +58,6 @@ fn tvixbolt_overview() -> Html { } } -/// This renders an ad in the Tvixbolt footer. Most people that end up -/// on Tvixbolt will probably block this anyways, but might as well. -fn ad() -> Html { - let ad_code = r#" -window.yaContextCb.push(()=>{ - Ya.Context.AdvManager.render({ - renderTo: 'yandex_rtb_R-A-1943274-1', - blockId: 'R-A-1943274-1' - }) -}) -"#; - - html! { - <div id="ad"> - <div id="yandex_rtb_R-A-1943274-1"></div> - <script>{ad_code}</script> - </div> - } -} - fn footer_link(location: &'static str, name: &str) -> Html { html! { <> @@ -93,14 +72,13 @@ fn footer() -> Html { <hr/> <footer> <p class="footer"> - {footer_link("https://tvl.su", "home")} + {footer_link("https://tvl.fyi", "home")} {footer_link("https://cs.tvl.fyi", "code")} {footer_link("https://tvl.fyi/builds", "ci")} {footer_link("https://b.tvl.fyi", "bugs")} - {"© ООО ТВЛ"} + {"© TVL"} </p> <p class="lod">{"ಠ_ಠ"}</p> - {ad()} </footer> </> } @@ -149,7 +127,7 @@ impl Component for Model { html! { <> <div class="container"> - <h1>{"tvixbolt 0.1-alpha"}</h1> + <h1>{"tvixbolt"}</h1> {tvixbolt_overview()} <form> <fieldset> |