腾讯云

开发者社区

文档建议反馈控制台

首页

文章/答案/技术大牛

发布

社区首页 >问答首页 >更改cabal文件后更新Intero flycheck

问更改cabal文件后更新Intero flycheck
EN

Stack Overflow用户

提问于 2016-08-07 12:30:09

回答 1查看 404关注 0票数 2

我在emacs下使用Intero来编辑我的新Haskell项目。我在代码中添加了对第三方库的导入，以查看Intero是否会自动添加必要的依赖项，但它没有，所以我手动编辑了.cabal文件以添加必要的依赖项。现在我该怎么办-除了重启emacs？

我尝试在命令行运行cabal install --dependencies-only; cabal configure，它们运行成功，但flycheck缓冲区仍然显示错误。

intero

haskell

emacs

haskell-mode

电商安全场景方案

帮助电商行业客户一站式解决Web安全、黑产羊毛党对抗、高危漏洞、BOT工具、恶意入侵门户服务器等安全问题

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-08-07 13:02:27

所有需要做的就是运行

M-x intero-restart

在emacs中。

Intero使用堆栈，它为您正在开发的每个包提供了自己的私有沙箱，因此不需要也不需要cabal install --dependencies-only。

票数 5

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/38814153

复制

批量更改文件

com count import rename split

# 代码示例 import os godir = os.listdir('F:\cka认证\oldboy_go') for i in godir : print(i) if i.count('樱花论坛') : filename = i.split('【樱花论坛 www.sakuraaaa.com】',1)[1] print(filename) oldname = 'F:/cka认证/oldboy_go/'+i newname

章工运维

2023/05/19

7060

wordpress更改固定链接后404

nginx wordpress 网站建设网站

wordpress的固定链接对于博客的seo优化是非常重要的。因为有些默认设置并不怎么友好，所以我们可以自定义设置自己的想要的固定链接，比如自定义连接结构为：/%post_id%.html。但是往往我们更改之后会出现404页面，这是网站的伪静态出了问题。下面是在不同环境下的不同解决方法。

SweetHunter

2020/05/10

2.1K0

HeRM's ：一个命令行食谱管理器

haskell linux

烹饪让爱变得可见，不是吗？确实！烹饪也许是你的热情或爱好或职业，我相信你会维护一份烹饪日记。保持写烹饪日记是改善烹饪习惯的一种方法。有很多方法可以记录食谱。你可以维护一份小日记/笔记或将配方的笔记存储在智能手机中，或将它们保存在计算机中文档中。这有很多选择。今天，我介绍 HeRM's，这是一个基于 Haskell 的命令行食谱管理器，能为你的美食食谱做笔记。使用 Herm's，你可以添加、查看、编辑和删除食物配方，甚至可以制作购物清单。这些全部来自你的终端！它是免费的，是使用 Haskell 语言编写的开源程序。源代码在 GitHub 中免费提供，因此你可以复刻它，添加更多功能或改进它。

用户8639654

2021/10/15

4450

更改host文件_添加host文件

tcp/ip windows github git 开源

国内无法访问GitHub的问题除了用某工具访问，还可以通过host文件来达到效果，缺点就是需要经常更新ip地址。

全栈程序员站长

2022/11/04

4K0

apache2.2 到 2.4后配置文件需要更改的部分

apache

1. 访问控制 2.2 的时候 Order deny,allow Deny from all 在 2.4 需要改成 Require all denied 常用的配置有： Require all denied Require all granted Require host xxx.com Require ip 192.168.1 192.168.2 Require local 2. RewriteLogLevel 变为：logLevel 如，LogLevel warn rewrit

老七Linux

2018/05/31

7180

Linux下更改文件权限[通俗易懂]

c#c++其他

可以发现，每一个文件的第一个字段都是由r、w、x等10个字符构成，这10个字符所组成的字符串反映了文件的权限。

全栈程序员站长

2022/09/17

6.5K0

Linux更改文件的权限[通俗易懂]

linux

一、命令chown（change owner）-更改文件的所有者语法：chown 【-R】账户名/账户名：组名文件名

全栈程序员站长

2022/10/03

6.4K0

更新pycharm版本_pycharm怎么更改python环境

https java 网络安全

如下图，记录要勾选Make avaliable to all projects，然后查看是否加载出所有的第三方插件，会遇到插件安装后，运行还是找不到插件的问题，就是这里选择的不对，Pycharm总是会自己修改Base interperter路径，安装好后，在这里修改路径，看到有加载出来就可以了

全栈程序员站长

2022/09/27

1.3K0

CentOS挂载NAS存储后权限的更改

存储安全

最后我们为了安全，再次将'根限制'勾选，这样做的意义是：就算你用nfs3挂载的文件系统，那么依然无法修改属主属组，更为安全，如下图：

染指流年

2023/03/13

4.1K0

Linux文件权限管理：如何更改文件权限

linux

在Linux系统中，文件权限是一个重要的概念，它决定了谁可以对文件进行读取、写入和执行操作。正确地管理文件权限对于确保系统安全和数据保护至关重要。本文将介绍如何在Linux中更改文件权限，并提供参考文章以便深入学习。

用户10665603

2023/07/31

2K0

更改Mac上的文件关联

windows get mac

最近更新了coda，结果原先跟coda关联的文件变成了跟DW关联了，真是“墙头草”。找了很久不没找到在哪更改关联程序，最后终于搜到啦，比windows还要简单，直接在文件属性里就可以修改了，操作如下：

GhostZhang

2022/08/21

1.6K0

树莓派更改Wi-Fi后不重启

bash bash 指令

//配置Wi-Fi 配置你的Wi-Fi信息 sudo vi /etc/wpa_supplicant/wpa_supplicant.conf

用户2458545

2022/09/07

4500

DEDECMS 批量更改未审核文章的更新时间

其他

update dede_archives set senddate= 1412092800 where arcrank=-1; 另外：dedecms怎样批量修改文章发布时间 Dedecms如何批量修

用户1272546

2018/06/05

3.7K0

[Linux] 更新源地址列表及更改方法 [Ubuntu 16.04 LTS]

apt-get bash bash 指令

在修改source.list前，最好先备份一份，以便日后恢复 sudo cp /etc/apt/sources.list /etc/apt/sources.list.bak 修改更新源：sudo gedit /etc/apt/sources.list 最后执行更新命令：sudo apt-get update

轻舞飞扬SR

2021/02/24

1.3K0

CentOS 7更改yum源与更新系统

yum 开源 https 缓存

0、开源镜像网易开源镜像镜像网易开源镜像使用帮助: http://mirrors.163.com/.help 网易开源镜像使用帮助阿里云开源镜像 1、备份 cp /etc/yum.repos.d

Javen

2018/08/21

2.3K0

Elfeed 使用心得

ide 腾讯云开发者社区

在 2021 年 3 月份写过一篇文章《使用 Emacs 阅读邮件与 RSS》，到本篇文章写作时，已经两年有余，这期间积攒了一些使用心得，在这里和大家分享一下。

飞驰的西瓜

2023/03/01

5570

Debian 7上的Yesod，Nginx和MySQL（Wheezy）

nginx 云数据库 SQL Server

Yesod是一个基于纯函数式编程语言Haskell的Web框架。它专为高效开发类型安全，RESTful和高性能Web应用程序而设计。本指南介绍了在Debian 7（Wheezy）上部署Yesod和Nginx Web服务器，MySQL数据库所需的过程。

GongAo啊_

2018/09/25

8280

vscode如何更改文件默认保存路径

一二三

ydymz

2021/01/05

11.6K0

Linux更改文件权限命令「建议收藏」

https java 网络安全

1、格式：chmod 【-cfvR】【–help】【–version】mode file

全栈程序员站长

2022/10/01

2.5K0

entr：文件更改时重新运行构建

git bash linux bash 指令

这是一篇简短的文章。我是最近才发现 entr 的，我很惊奇从来没有人告诉过我？！因此，如果你和我一样，那么我告诉你它是什么。

用户8639654

2021/09/14

6210

相似问题

Intero在使用cabal数据文件时找不到路径模块

在c头文件更改后，Cabal不会重建项目

110

如果cabal文件更改，为什么cabal构建失败？

如何使用堆栈更新.cabal文件？

cabal更新:本地和远程文件匹配

活动推荐

体验智能媒资降冷，云点播优惠不要错过！

添加站长进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例