From 4da1fa65ab7693322cb74dbc76fef3d75fe74748 Mon Sep 17 00:00:00 2001 From: despiegk <> Date: Mon, 28 Aug 2023 22:51:18 +0400 Subject: [PATCH] merge and docs --- .gitpod.Dockerfile | 13 ---------- .gitpod.yml | 51 ---------------------------------------- content/footer/_index.md | 4 ++++ content/header/index.md | 15 ++++++------ 4 files changed, 12 insertions(+), 71 deletions(-) delete mode 100644 .gitpod.Dockerfile delete mode 100644 .gitpod.yml diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile deleted file mode 100644 index 3bbcfe50b..000000000 --- a/.gitpod.Dockerfile +++ /dev/null @@ -1,13 +0,0 @@ - - -FROM gitpod/workspace-full:latest - -USER root -RUN apt-get update && apt-get install -y redis-server mc rsync - -# RUN apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/* - -USER gitpod - - -# ENTRYPOINT [ "entrypoint.sh" ] diff --git a/.gitpod.yml b/.gitpod.yml deleted file mode 100644 index d2422a167..000000000 --- a/.gitpod.yml +++ /dev/null @@ -1,51 +0,0 @@ -image: - file: .gitpod.Dockerfile -tasks: - - name: WIKI - command: | - curl https://raw.githubusercontent.com/freeflowuniverse/crystaltools/development/install.sh > /tmp/install.sh - bash /tmp/install.sh - source /workspace/env.sh - publtools_check - cd config - publishtools install - cd .. - clear - echo ' -- WEB PUBLISH TOOLS -- ' - echo - echo ' - do "./run" to run website.' - echo ' - do "./build" to build website, see in dir build for result.' - echo ' - do "open ../workspace.code-workspace" to open all relevant dirs in your editor.' -ports: - - port: 9998 - onOpen: open-browser - - port: 8080 - onOpen: open-browser - - port: 6379 - onOpen: ignore -vscode: - extensions: - - vlanguage.vscode-vlang - - telesoho.vscode-markdown-paste-image - - yzhang.markdown-all-in-one - - shd101wyy.markdown-preview-enhanced - - bierner.markdown-mermaid - - darkriszty.markdown-table-prettify - - bpruitt-goddard.mermaid-markdown-syntax-highlighting - - shuworks.vscode-table-formatter -github: - prebuilds: - # enable for the master/default branch (defaults to true) - master: true -# enable for all branches in this repo (defaults to false) - branches: true -# enable for pull requests coming from this repo (defaults to true) - pullRequests: true -# enable for pull requests coming from forks (defaults to false) - pullRequestsFromForks: false -# add a "Review in Gitpod" button as a comment to pull requests (defaults to true) - addComment: true -# add a "Review in Gitpod" button to pull requests (defaults to false) - addBadge: false -# add a label once the prebuild is ready to pull requests (defaults to false) - addLabel: prebuilt-in-gitpod \ No newline at end of file diff --git a/content/footer/_index.md b/content/footer/_index.md index 4f9d86185..eaaccc714 100644 --- a/content/footer/_index.md +++ b/content/footer/_index.md @@ -26,6 +26,8 @@ extra: ###### [ThreeFold Connect: Android](https://play.google.com/store/apps/details?id=org.jimber.threebotlogin&hl=en_US) +###### [Governance](https://library.threefold.me/info/threefold#/threefold__governance) + ||| ##### TALK TO HUMANS @@ -58,4 +60,6 @@ extra:
NewsRoom
+###### [Governance](https://library.threefold.me/info/threefold#/threefold__governance) + {% end %} \ No newline at end of file diff --git a/content/header/index.md b/content/header/index.md index 1bc4e186f..8336bdebd 100644 --- a/content/header/index.md +++ b/content/header/index.md @@ -86,6 +86,14 @@ extra: + + - |||