这是WebSVF存储库,它突出显示静态WebVf github IO重定向到已部署的Websvf页面https://svf-tools.giths.github.io/websvf/
可以在此存储库中找到WebVF的Capstone项目,因为子模块在https://git-scm.com/book/en/v2/git-tools-submodules上了解了有关子模块的更多信息。
要快速介绍WebVF 4.0中的最新添加程序,Codegpt面板,请观看此视频的手表:https://www.youtube.com/watch?v=gf6vayzolj0新功能允许用户与OpenAI的GPT 3.5 turbo Engine进行通信,并将其附加在网站上的任何文件!
要查看WebSVF 5.0的新功能,请看一下此视频:
完整视频:https://youtu.be/egwzpohquzm
幻灯片:https://www.canva.com/design/dagvjakbxys/msxloiyfyhyo_qh1qxgcra/edit?utm_content = dagvjakbxys间
完整视频:https://youtu.be/0xt0wgafv5m
Slides: https://www.canva.com/design/DAGNPdIVvZE/CcezXWfi-C7VX7TTSFeaZA/edit?utm_content=DAGNPdIVvZE&utm_campaign=designshare&utm_medium=link2&utm_source=sharebutton
请注意,WebVF 5.0使用以前的WebVF执行SVF-EX来创建图形。可执行文件只能在X86体系结构(不是ARM64)中运行。安装应在Linux上完成,以获得最佳结果。
访问这个网站
https://dotnet.microsoft.com/en-us/download/dotnet/8.0
为Dotnet 8.0下载SDK。如果使用X64架构,请单击X64以获取二进制文件。如果在M系列MacBook上运行,请单击ARM64。这应该自动下载二进制文件作为焦油文件。
cd Downloads
进入下载并运行以下命令。 (这些命令是从下载页面中获取的)
mkdir -p $HOME/dotnet && tar zxf dotnet-sdk-8.0.402-linux-x64.tar.gz -C $HOME/dotnet
export DOTNET_ROOT=$HOME/dotnet
export PATH=$PATH:$HOME/dotnet
每次打开新的终端会话时,运行2个导出命令。您也可以编辑外壳配置文件以永久添加命令。
通过运行以下命令安装节点版本管理器(NVM)
curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.40.0/install.sh | bash
通过运行以下命令安装节点版本20
nvm install 20
您可以通过运行以下命令来检查节点版本。它应该说V20。 。
node -v
进入前端文件夹
cd frontend
通过使用以下命令,安装需要运行前端的节点软件包。
npm install
运行NPM运行开发
npm run dev
当前使用Fly.io部署后端。
当前使用Vercel部署前端。
如果要更改Codegpt的API密钥或遇到错误“ Apikey”的不存在。
将apikey添加到前端文件夹和SRC外部的.env.sh文件中。将以下内容添加到Env文件中。
VITE_OPENAI_API_KEY='YOUR_API_KEY'
要生成API密钥,您将需要:
WebSVF 5.0安装的结束
注意:安装应在Linux上完成,以获得最佳结果。
sudo apt install nodejs@15
sudo apt-get install clang cmake gcc g++ doxygen graphviz zlib1g-dev unzip libtinfo5
https://www.digitalocean.com/community/tutorials/how-to-now-to-install-node-node-js-on-ubuntu-20-04
cd ClientApp
sudo npm install -g @angular/cli
https://angular.io/guide/setup-local
git clone https://github.com/Re-Tails/CapstoneProject.git
wget https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
sudo dpkg -i packages-microsoft-prod.deb
rm packages-microsoft-prod.deb
sudo apt-get update;
sudo apt-get install -y apt-transport-https &&
sudo apt-get update &&
sudo apt-get install -y dotnet-sdk-3.1
sudo apt-get update;
sudo apt-get install -y apt-transport-https &&
sudo apt-get update &&
sudo apt-get install -y aspnetcore-runtime-3.1
https://docs.microsoft.com/en-au/dotnet/core/install/linux-ubuntu#2004--
您可以下载任何版本,只要它是SDK的3.1版本。
https://dotnet.microsoft.com/en-us/download/dotnet/3.1
下载后,转到下载文件夹并运行以下命令。
cd
cd Downloads
mkdir -p $HOME/dotnet && tar zxf dotnet-sdk-3.1.302-win-x64.exe -C $HOME/dotnet
export DOTNET_ROOT=$HOME/dotnet
export PATH=$PATH:$HOME/dotnet
如果您已经手动下载,则每次重新启动机器时都需要运行这些命令(或将这些命令添加到适当的源文件,以避免在计算机重新启动时复制和粘贴此命令)
export DOTNET_ROOT=$HOME/dotnet
export PATH=$PATH:$HOME/dotnet
cd ClientApp
npm install
npm run start //note: this will only run the Client App
从CapstoneProject Repo文件夹中运行以下命令:
dotnet run
如果需要,请安装以下依赖项
npm i svf-lib
需要此命令才能检索CapstoneProject中的最新文件或您添加的任何其他存储库。
git submodule update --init
这些说明是根据官方AWS文档(以下列出的来源)改编的。
强烈建议您详细阅读有关AWS环境的信息,尤其是AWS EC2。
WebVF AMI: ami-06787f758a0b88e83
如果您没有AWS帐户,请完成以下步骤来创建一个帐户。
注册AWS帐户
打开https://portal.aws.amazon.com/billing/signup。
遵循在线说明。
注册程序的一部分涉及接听电话并在电话键盘上输入验证代码。
当您注册AWS帐户时,会创建AWS帐户root用户。根用户可以访问帐户中的所有AWS服务和资源。作为安全性最佳实践,请将管理访问分配给管理用户,并仅使用root用户执行需要root用户访问的任务。
注册过程完成后,AWS向您发送确认电子邮件。您可以在任何时候查看您的当前帐户活动并通过访问https://aws.amazon.com/并选择我的帐户来管理您的帐户。
通过AWS管理控制台登录到您的AWS帐户。
通过https://console.aws.amazon.com/ec2/打开Amazon EC2控制台。
在导航窗格中,选择Key Pairs 。
选择Create key pair 。
为了Name ,请输入密钥对的描述性名称。 Amazon EC2将公共密钥与您指定为密钥名称的名称相关联。
对于钥匙对类型,选择RSA
对于Private key file format ,请选择保存私钥的格式。
选择Create key pair 。
私有密钥文件将由您的浏览器自动下载。基本文件名是您指定为密钥对的名称的名称,文件名扩展名是由您选择的文件格式确定的。将私钥文件保存在安全的地方。
通过https://console.aws.amazon.com/ec2/打开Amazon EC2控制台
从Launch instance框中的EC2控制台仪表板中,选择Launch instance ,然后从出现的选项中选择Launch instance 。
在Name and tags下,为您的Name输入描述性名称。
在Application and OS Images (Amazon Machine Image)下,执行以下操作:
选择快速启动,然后选择Amazon Linux。这是您实例的操作系统(OS)。
从Amazon Machine Image(AMI)中,选择浏览更多AMIS来浏览完整的AMI目录。
选择社区Amis
搜索AMI ami-06787f758a0b88e83
选择它
在键对(登录)中,对于钥匙对名称,请选择设置时创建的键对。
查看Summary面板中的实例配置的摘要,以及准备就绪时,选择Launch instance 。
如果发生此错误,则应该有一个libssl1.1.1.1.1.1.1.1buntu2.1〜18.04.21_amd64.deb可以通过运行以下命令来安装。
sudo dpkg -i libssl1.1_1.1.1-1ubuntu2.1~18.04.21_amd64.deb
如果此libssl文件不在这里,则可以运行以下命令
wget https://www.openssl.org/source/openssl-1.1.1c.tar.gz
tar -xzvf openssl-1.1.1c.tar.gz
cd openssl-1.1.1c
./config
make
sudo make install (it puts it into /usr/local/lib so it doesn't mess with the rest of your system)
然后,运行此命令通过ld_library_path临时映射此命令。每次重新启动计算机时,您都需要运行此命令。
export export LD_LIBRARY_PATH="/usr/local/lib"
如果没有libssl文件,则不可用的libssl。 dotnet/core#4749
如果要更改Codegpt的API密钥或遇到错误“ Apikey”的不存在。
在Environment.ts(clientapp-> src/emoverments-> Environments.ts)中添加apikey。
要生成API密钥,您将需要:
另一种方法也可以是使用dotenv文件,您可以在此处找到一些文档。这将使您可以通过公共存储库保护API键。 https://betterprogramming.pub/how-to-secure-angular-environment-variables-for-use-In-in-in-github-actions-39C07587D590
https://docs.aws.amazon.com/cli/latest/userguide/cli-services-ec2-instances.html
https://docs.aws.amazon.com/accounts/latest/reference/manage-acct-creating.html
https://docs.aws.amazon.com/awsec2/latest/userguide/get-set-up-for-amazon-ec2.html
https://docs.aws.amazon.com/awsec2/latest/userguide/ec2_getstarted.html
https://docs.aws.amazon.com/awsec2/latest/userguide/ec2-launch-instance-wizard.html