升级DrRacket8.10到8.18版本@Ubuntu24.04

升级DrRacket8.10到8.18版本

安装参考:在FreeBSD、Windows、Ubuntu24三种平台下安装Racket多范式编程语言_racket安装-CSDN博客

Ubuntu24.04里面的版本是8.10,所以无法使用apt upgrade升级,最终是使用下载升级软件,手工升级完成!

首先尝试直接在软件里升级,升级失败

网站提示的升级方法

Running the Linux installer:

After downloading the installer file, run it with

    sh racket-8.18-x86_64-linux-buster-cs.sh

to install, possibly adding sudo to the start of the command to install to a location that requires administrator access.

When upgrading:

To restore packages installed for a previous version of Racket, use DrRacket's File > Package Manager > Copy from Version or at a command line use raco pkg migrate.

下载软件

官网很慢,所以到到清华源下载8.18版本:Index of /installers

下载后执行

sudo sh racket-8.18-x86_64-linux-buster-cs.sh

执行交互很复杂:

sudo sh racket-8.18-x86_64-linux-buster-cs.sh 
[sudo] skywalk 的密码: 
This program will extract and install Racket v8.18.Note: the required diskspace for this installation is 691M.Do you want a Unix-style distribution?In this distribution mode files go into different directories accordingto Unix conventions.  A "racket-uninstall" script will be generatedto be used when you want to remove the installation.  If you say 'no',the whole Racket directory is kept in a single installation directory(movable and erasable), possibly with external links into it -- this isoften more convenient, especially if you want to install multipleversions or keep it in your home directory.
Enter yes/no (default: no) > yesWhere do you want to base your installation of Racket v8.18?(If you've done such an installation in the past, eitherenter the same directory, or run 'racket-uninstall' manually.)1 - /usr/... [default]2 - /usr/local/...3 - ~/... (/root/...)4 - ./... (here)Or enter a different directory prefix to install in.
> 1Target Directories:[e] Executables      /usr/bin (exists)[o] Libraries        /usr/lib/racket (exists)[s] Shared files     /usr/share/racket (exists)[c] Configuration    /usr/etc/racket (will be created)[d] Documentation    /usr/share/racket/doc (will be created)[a] .desktop files   /usr/share/applications (exists)[m] Man Pages        /usr/share/man (exists)[l] C Libraries      /usr/lib (exists)[h] C headers        /usr/include/racket (exists)[z] Compiled at lib? yes
Enter a letter to change an entry, or enter to continue.
> Checking the integrity of the binary archive... ok.
Unpacking into "/usr/racket-tmp-install" (Ctrl+C to abort)...
Done.
Moving bin -> /usr/bin
Overwrite file "/usr/bin/drracket"?[y]es / yes to [a]ll / [n]o=abort > a
Moving collects -> /usr/share/racket/collects
Moving share/pkgs -> /usr/share/racket/pkgs
Moving doc -> /usr/share/racket/doc
Moving lib -> /usr/lib/racket
Moving include -> /usr/include/racket
Moving share/applications -> /usr/share/applications
Moving share -> /usr/share/racket
Moving etc -> /usr/etc/racket
Moving man -> /usr/share/man
Moving README -> /usr/share/racket/doc/README
Writing uninstaller at: /usr/bin/racket-uninstall...
Rewriting configuration file at: /usr/etc/racket/config.rktd...
Moving "compiled" in /usr/share/racket/collects to /usr/lib/racket/compiled/usr/share/racket/collects
Moving "compiled" in /usr/share/racket/pkgs to /usr/lib/racket/compiled/usr/share/racket/pkgs
Rewriting configuration file at: /usr/etc/racket/config.rktd...Installation complete.

说实话,这个交互,真的很繁琐!

升级安装完成!

启动DrRacket

调试

升级后drracket启动报错

drracket 
loading code: version mismatch
  expected: "8.18"
  found: "8.10"
  in: /usr/lib/racket/compiled/usr/share/racket/pkgs/drracket/drracket/private/compiled/drracket-normal_rkt.zo
  possible solution: running `racket -y`, `raco make`, or `raco setup`
  context...:
   body of "/usr/share/racket/pkgs/drracket-core-lib/drracket/drracket.rkt"

执行

sudo raco setup

搞定!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如若转载,请注明出处:http://www.pswp.cn/news/920477.shtml
繁体地址,请注明出处:http://hk.pswp.cn/news/920477.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

亚马逊季节性产品运营策略:从传统到智能化的演进

"季节性产品如何在有限销售窗口内实现收益最大化?" "面对剧烈波动的市场需求,广告投放该如何灵活应对?" "如何避免旺季断货或淡季资源浪费的库存难题?" "传统人工运营方式能否跟上季节性产品的…

解析xml文件并录入数据库

主函数:参数处理、信号处理、打开日志、解析参数到结构体、添加进程心跳、处理业务函数业务处理函数:将规则xml加载到结构体(xml文件名、对应表名、更新标志、预先执行语句)、打开源文件夹并匹配10000个xml文件、判断数据库是否开…

mongoDB学习(docker)

docker 命令创建mongoDBdocker pull mongo docker run -d --name my-mongo \-e MONGO_INITDB_ROOT_USERNAMEroot \-e MONGO_INITDB_ROOT_PASSWORD123456 \-v /my/data/mongo:/data/db \-p 27017:27017 \mongodocker run -d --name my-mongo -e MONGO_INITDB_ROOT_USERNAMEroot…

软件测试(四):等价类和判定表

1.等价类划分表例:qq号等价类测试用例:无论有效无效,对应的用例都只举一个数据例子(例子在其对应的用例情况区间任选一个即可)自测案例写完测试用例后执行测试用例验证(借助工具DDSP)实际结果与…

week5-[二维数组]翻转

week5-[二维数组]翻转 题目描述 给定一个 nnn\times nnn 的正方形二维数组,将它旋转 180180180 度后输出。 输入格式 输入共 n1n 1n1 行。 第 111 行 111 个正整数 nnn。 接下来 nnn 行,每行 nnn 个正整数 aija_{ij}aij​ 表示这个二维数组。 输出格式 …

微调大模型并部署服务提供外部调用

微调大模型并部署服务提供外部调用1.背景知识介绍说明LoRA 微调算法LoRA原理:微调常见框架2. 环境搭建下载并使用docker compose部署 LLaMA-Factory3. 微调微调结束之后导出模型4. 本地运行模型5. 服务http调用验证应用到的技术 微调框架( LLama-Factory…

命令行操作:逻辑运算符、重定向与管道

命令行操作:逻辑运算符、重定向与管道前言一、逻辑运算符1.1. 逻辑运算符 && (AND)1.2. 逻辑运算符 || (OR)1.3. 标准文件描述符 (FD)二、重定向2.1 重定向: > 与 >>2.2 重定向错误输出: 2>/ 与 2>>2.3 POSIX 推荐(经常使用)三、管道 (顺…

IDA Pro 逆向安卓 SO 库实战指南:从静态分析到动态调试

IDA Pro 逆向安卓 SO 库是一个系统性的工程。下面我将为你提供一个从环境准备、基础静态分析到高级动态调试的完整实战指南。一、 准备工作与环境搭建 所需工具IDA Pro: 主力逆向工具,建议使用 7.7 或更高版本,对 ARM/ARM64 架构支持更好。目标 APK:…

Python爬虫(47)Python异步爬虫与K8S弹性伸缩:构建百万级并发数据采集引擎

目录一、背景与行业痛点二、核心技术架构解析2.1 异步爬虫引擎设计2.2 K8S弹性伸缩架构三、生产环境实践数据3.1 性能基准测试3.2 成本优化效果四、高级优化技巧4.1 协程级熔断降级4.2 预测式扩容五、总结🌈Python爬虫相关文章(推荐)一、背景…

处理器的双发射是什么?

处理器的双发射是什么? 这是一个处理器微架构层面的概念,对于理解现代高性能CPU(包括一些Cortex-M7/M55/M85等高端MCU内核)如何提升性能至关重要。 核心摘要 双发射 是一种处理器设计技术,允许CPU的译码器在一个时钟周期内,同时解码并派发两条指令到不同的执行单元中去…

麒麟操作系统挂载NAS服务器

前言:因信创整改,需将原服务器的服务全部迁移到信创服务器,在部署完应用后,发现外挂了NAS服务(可用df -h查看挂载文件),于是在信创服务器上需要挂载NAS服务器。在Linux上挂载NAS服务器可以通过多…

qt配置ros2环境,简单版本

因为不同的系统环境会有差异,先把我的环境介绍如下: 系统:Ubuntu22.04 ROS版本:ros2 humble Qt版本:qt-5.14.2 要配置Qt中的ros环境,需要在Qt的系统环境中添加2个变量,一个是编译环境变量、一个…

【基于C# + HALCON的工业视觉系统开发实战】三十六、PCB焊点缺陷检测:0漏检的局部变形匹配技术

摘要:针对PCB焊点检测中虚焊、锡珠、偏移三大核心缺陷,本文提出基于局部变形匹配与黄金模板的工业级解决方案。系统采用"同轴光源+四向可调支架"的硬件布局消除器件阴影,结合HALCON 24.11的局部变形匹配算法适应PCB热膨胀形变。通过多尺度模板库自学习机制实现8秒…

诺基亚无人机网络(NDN-Nokia Drone Networks):面向工业运营的全自动无人机解决方案

诺基亚无人机网络(NDN-Nokia Drone Networks):面向工业运营的全自动无人机解决方案诺基亚无人机网络 (NDN) 是一款先进的全自动无人机一体化解决方案,旨在提升和数字化各种工业和公共安全用例。这款多功能 BVLOS 解决方案基于先进的蜂窝连接,…

OpenTelemetry 在 Spring Boot 项目中的3种集成方式

目录 1. 自动埋点(Java Agent) 2. 注解驱动(WithSpan) 3. 手动埋点(SDK 编程) 配置关键点 方案选择建议 OpenTelemetry 在 Spring Boot 项目中的应用主要有以下三种方式,按实现复杂度由低到…

nvue文件text标签 不同样式的文本在同一段落显示

参考链接&#xff1a;nvue中处理text为块级元素的替代解决方法_nvue 块级元素-CSDN博客 实现效果&#xff1a; nvue的text是块级元素&#xff0c;用上层加粗的绝对定位覆盖底层的文本实现 <view class"cus-text-area"><!-- nvue的text是块级元素&#xff0…

STM32的ADC寄存器操作

ADC硬件电路ADC的硬件电路主要由输入电路&#xff0c;触发信号电路&#xff0c;数据寄存器电路&#xff0c;中断电路还有数据总线这及部分构成。输入信号通道ADC的通道输入到转换器&#xff0c;每个ADC有多达18个通道&#xff0c;可测量16个外部和2个内部信号源&#xff0c;温度…

Java 实现HTML转Word:从HTML文件与字符串到可编辑Word文档

在实际开发中&#xff0c;将HTML页面或内容转换为Word文档是一项常见需求。无论是将网页报表导出为正式文档&#xff0c;还是将合同、发票等页面内容生成可编辑的Word文件&#xff0c;这种转换都能显著提升文档的复用性和归档价值。然而&#xff0c;HTML与Word在结构和渲染机制…

华为L420国产笔记本(统信UOS桌面专业版1070)安装openEuler2403虚拟机

本文探讨在华为L420国产笔记本&#xff08;操作系统为统信UOS桌面专业版1070&#xff09;中安装openEuler2403的arm版虚拟机。 一、测试环境 1、硬件设备 华为L420国产笔记本&#xff0c;CPU为华为麒麟9006C&#xff0c;内存16G 2、操作系统 统信UOS桌面专业版1070 二、安…

【STM32】将 FreeRTOS移植到STM32F103RCT6 详细流程

这篇文章是将 FreeRTOS移植到STM32F103RCT6 详细流程。创建用于移植的根文件夹&#xff0c;如 FreeRTOS-F103。也可以命名为别的名称。进入 FreeRTOS-F103 文件夹&#xff0c;在其内创建以下几个子文件夹&#xff1a;apps&#xff0c;doc&#xff0c;drivers&#xff0c;FreeRT…