解决ReText工具栏图标丢失

ReText是Linux平台上非常好用的Markdown和reStructuredText编辑器,支持实时预览,支持导出为HTML、ODT、PDF格式,Debian配好源之后只需一句命令即可安装

sudo aptitude install retext

但是在Debian 9上默认安装之后,ReText的工具栏图标全部都无法显示,虽然不会影响主要功能,看起来总是有点怪怪的,解决办法如下

//查看系统中有哪些主题图标
ls -l /usr/share/icons

在我的系统中的输出

drwxr-xr-x 12 root root 4096 8月  20 13:32 Adwaita
drwxr-xr-x  2 root root 4096 8月  20 13:32 default
lrwxrwxrwx  1 root root    6 12月 11  2014 default.kde4 -> oxygen
drwxr-xr-x 12 root root 4096 8月  20 13:32 gnome
drwxr-xr-x 19 root root 4096 8月  22 10:06 hicolor
drwxr-xr-x  3 root root 4096 8月  20 15:03 HighContrast
drwxr-xr-x  4 root root 4096 8月  20 13:20 locolor
drwxr-xr-x 10 root root 4096 8月  20 14:19 oxygen
drwxr-xr-x  7 root root 4096 8月  20 13:31 Tango
drwxr-xr-x  6 root root 4096 8月  20 15:03 ubuntu-mono-dark
drwxr-xr-x  6 root root 4096 8月  20 15:03 ubuntu-mono-light

编辑 ~/.config/ReText\ project/ReText.conf 文件,在 [General] 节下增加一行

iconTheme=oxygen

iconTheme的值可以根据上面的输出任意填,我这里选的是oxygen,再次打开ReText,搞定。

用Notepad++打造C/C++编译环境

这个星期继续捧起几个月前搁下的《C++ Primer》,因为需要随手编辑、验证书中的代码,代码量也不大,于是就用Notepad++的NppExec插件和MinGW配置了一个简单的C/C++编译调试环境,下面是步骤。

- 继续阅读 -

搞定了独立显卡

周末强台风来袭,放弃去图书馆的计划,准备两天都宅在家里看闲书。突然想起来用Linux桌面也有一段时间了,还从未在Linux下玩过游戏,括弧,控制台版的俄罗斯方块不算,括弧。作为懒人,游戏也选不怎么需要动脑子以及操作不复杂的,最终装了一个以Tux为主角之一的“弱智”游戏。一个aptitude install搞定,游戏走起。

可能是电脑有点老的缘故,游戏画面有拖影,于是从角落里找出积灰甚久的古董HD4670,装驱动,重启,系统却意外无法进入图形界面了,仔细看下官网的说明,这个驱动只能支持到3.4内核,我装的是Debian 8.1,内核版本已经是3.16了,先卸载掉原先的驱动,然后再安装开源驱动尝试一下。

sudo aptitude update
sudo aptitude install firmware-linux-nonfree
sudo aptitude install libgl1-mesa-dri
sudo aptitude install xserver-xorg-video-ati

古董又能继续发光发热了。

参考资料

AtiHowTo - Debian Wiki

一次服务器内存泄漏排查

公司里有一台运行了Windows Server 2003R2 32bit的服务器,上面跑了MS SQL Server 2000数据库和生产系统的服务端,这台服务器在运行一段时间后,不定时出现无法连接的情况,也无法运行任何程序或者程序一直崩溃,在桌面刷新,会提示“配额不足”的错误,但系统并未限制账户的磁盘配额,因此可排除掉硬盘空间不足的问题。检查一下系统日志,注意到在报告系统故障前的一段时间,有很多ID:2019的系统错误,频率为1分钟/次。日志信息如下:

- 继续阅读 -

Stack Overflow上线五周年,奇迹发生了

注:该文章发表于2013-09-16,原文地址在这里:
Five years ago, Stack Overflow launched. Then, a miracle occurred.

Stack Overflow于2008年9月15日正式上线运行,在短短的五年里,网友们在100余个子站点里回答了超过500万个问题,帮助数以亿计的人解决了他们的问题。今天,我们想一起庆祝一下,我们让互联网的一个小角落变得更好。

- 继续阅读 -