2018年2月1日
GNOME Shell Extension常用扩展
摘要： 这篇博文的，主要目的是为了方便我和大家安装GNOME扩展。我将我安装过的所有扩展列在此处。 常用扩展 ||| | | | |Clipboard Indicator|https://extensions.gnome.org/extension/779/clipboard indicator/| |Da 阅读全文
posted @ 2018-02-01 18:39 zhuxiaoxi 阅读(11633) 评论(0) 推荐(0) 编辑
Arch Linux中通过AUR安装Redis Desktop Manager失败
摘要： 笔者在安装Redis Desktop Manager时出现了Failed to connect to chromium.googlesource.com port 443: Connection timed out错误，具体见文末。 解决方法 出现这种问题，是某些原因无法连接到Google，令git 阅读全文
posted @ 2018-02-01 13:14 zhuxiaoxi 阅读(1924) 评论(0) 推荐(0) 编辑
Git中设置代理和取消代理
摘要： 设置git@走代理 修改~/.ssh/ssh_config 添加ProxyCommand nc -x 127.0.0.1:1080 %h %p到需要的ssh主机地址上 如果不确定，或希望全部走代理，则添加到第一行 设置Socks5代理 git config --global http.proxy ' 阅读全文
posted @ 2018-02-01 13:03 zhuxiaoxi 阅读(9668) 评论(0) 推荐(0) 编辑