我试图通过命令检查SWEET源代码
svn co --username ****** --password ******** https://v-lagerlunda.ita.mdh.se:8443/svn/wcet/sweet/trunk/ SWEET
Run Code Online (Sandbox Code Playgroud)
这是返回错误
svn:E120107:无法连接到URL" https://v-lagerlunda.ita.mdh.se:8443/svn/wcet/sweet/trunk "和svn:E120107 的存储库:运行上下文时出错:代理服务器已返回设置SSL隧道时出错.
我已经编辑了/ etc/subversion/servers和〜/ .subversion/servers并添加了我的代理.当我发出命令时,svn运行正常
svn co https://svn.eionet.europa.eu/repositories/Zope/trunk/RDFCalendar temp
Run Code Online (Sandbox Code Playgroud)
这表明我的代理设置正确,svn适用于https链接.我认为问题可能与授予我的用户名和密码有关,以授予对SWEET源代码的读访问权限.
我想知道如何更改文件中一行的位置(最好使用sed).例如,考虑包含的文件
goal identifier statement
let statement 1
let statement 2
forall statement
other statements
Run Code Online (Sandbox Code Playgroud)
我希望能够做到这一点
goal identifier statement
forall statement
let statement 1
let statement 2
other statements
Run Code Online (Sandbox Code Playgroud)
我改变了forall线的位置并将其带到了球门线后面.forall和goal是可用于识别线条的正则表达式.