Tagged

Tips

A collection of 7 posts

CoreShell奇怪问题 - 粘贴时多了00~ ~01
Tips

CoreShell奇怪问题 - 粘贴时多了00~ ~01

之前一直发现CoreShell粘贴文本进去,会多了奇怪的00~ ~01字,但没找到啥原因。 今天搜索突然发现国内外网上都人说这个,叫“bracketed paste mode”,解决办法挺奇怪 > printf "\e[?2004l" 原文链接:bracketed paste mode One of the least well known, and therefore least used, features of many terminal emulators is bracketed paste mode. When you are in bracketed paste mode and you paste into

搭建个人私有 Git 服务器
Tips

搭建个人私有 Git 服务器

远程 git 服务器使用 CentOS 6.9 系统。 如果是个人使用的 git 仓库,不用按照网上多数说明,只需简单几步: 登录远程服务器,使用当前登录用户(非 root 用户)创建 Git 库 当前用户根目录下创建 git 仓库 git init --bare expod.git 本地挂接 remote 仓库 # 本地初始化并挂接 remote 仓库 git init && git remote add origin some@domain:expod.git # 加入文件,推送 remote 仓库

Mac 使用技巧
Tips

Mac 使用技巧

隐藏文件 显示Mac隐藏文件的命令: defaults write com.apple.finder AppleShowAllFiles YES 隐藏Mac隐藏文件的命令: defaults write com.apple.finder AppleShowAllFiles NO Mac上的快捷键 按 delete 键,实现 Windows 键盘上退格键的功能,也就是删除光标之前的一个字符(默认); 按 fn+delete 键,删除光标之后的一个字符; 按 option+delete 键,删除光标之前的一个单词(英文有效); 按 command+delete 键,删除光标之前整行内容; 选中文件后按 command+delete,删除掉该文件; 按 shift + command + delete

Mac装机必备
Tips

Mac装机必备

Mac装机必备 App Store PopClip:不使用键盘快速剪切、粘贴、搜索、打开链接;评价:★★★★★ Alfred2、3:还是没玩好,感觉 2nd 版和 3rd 版没什么特别差异;评价:★★★★ The Unarchiver:解压各种文件;评价:★★★ —— 界面感觉很 low,弃用之 Evernote:印象笔记;评价:★★★ Go2Shell:快速打开当前文件夹的命令终端;评价:★★★ —— 现在使用 ForkLift,直接搞定 Gemini 2: The Duplicate Finder:重复文件清理,特别是对 iPhoto 基本上没想起来要启用 ReadKit:RSS新闻阅读器 Safari就足够了 MPlayerX:视频播放器 Kindle:Amazon

折腾 - 奇怪的雅黑字体显示问题
Tips

折腾 - 奇怪的雅黑字体显示问题

事发现场:Parallels Desktop 12 上的 Windows 10 家庭版 突然前几天发现 PowerPoint、Word、Visio 里面的雅黑字体显示好多锯齿,感觉就像黑体字。 开始以为是 Office 字体的问题,重置、重装之后还是如此; 后来觉得是 Parallels Desktop 12 的问题(这个版本配上 Windows10 简直让人……),调整显示方式后还是没解决。 突然想到是不是 Windows 字体问题,打开控制面板才发现,ClearType 功能没有启用,汗…… -- 到此结束 -- 迁移时间:2017-03-18

用来用去,还是换回 Google Chrome
Tips

用来用去,还是换回 Google Chrome

这里想说的是,决定我的(或你的)选择,最终是 体验 还是 生态? 前前后后也用了不少浏览器(IE 你走开……😜),今天突然用回 Google Chrome,就想谈下个人感觉: Opera 用了很久,感觉一直很棒。 流畅、专注,虽然换了内核后体验有些下降。 Vivaldi[1] 名字很难拼,好像是个famous的欧洲音乐家的名字。 号称 Opera 创始人另开门户搞的“真正给用户使用的个性化”浏览器。 感觉很炫! 很慢 😓,一周后弃用之…… Google Chrome 之前弃用了,主要原因是无法多台机器同步书签。 切换回来,主要是因为「生态」:各种很棒的扩展、各种自动化工具支持 好吧,我承认这次切回来主要是突然发现 Opera 已经开始 遗世独立 了,AppleScript 居然不支持?