摘要:
# 涉及的Linux知识包括 * 1.login shell与non-login shell * 2.TERM变量的作用:终端的类型 * 3.PS1变量的作用:设置提示符(prompt)的颜色 ## 一、login shell与non login shell ### 1.通过xshell这个软件登录 阅读全文
摘要:
## 问题引出:win11在设置中打开自动隐藏任务栏之后,有一条白线,看着很是烦人 ## 解决问题:使用Github开源项目[TranslucentTB][1]隐藏这条白线 ### 1.可以在微软商店安装,如下图 ![](https://img2023.cnblogs.com/blog/293505 阅读全文
摘要:
一、问题引出: 安装Julia的包失败! 在DrRacket中安装sicp包失败! scoop无法更新! 意外之喜:安装在win10上的虚拟机(客户机)也可以直接使用win10(宿主机)的代理,即可以直连外网!!! 二、问题解决: 由于我在我的win11电脑上面没有出现以上问题,但是在win10电脑 阅读全文
摘要:
## 目标:一段时间鼠标没有移动,则隐藏游标(cursor) ## 1.安装unclutter-xfixes(unclutter的修复版) ```shell $ sudo apt-get update $ sudo apt-get install unclutter-xfixes ``` ## 2. 阅读全文
摘要:
## 前言 我的这篇[博客][1]已经介绍了如何使用hide top bar隐藏顶部导航栏目,但是在桌面的状态下,顶部导航栏依然存在,如下图。因此使用hide panel lite这个插件。hide panel lite全局隐藏顶部导航栏(除了在overview窗口) ![](https://img 阅读全文
摘要:
## 翻译自[博客][1] ## 1.将下载的chrome安装包放在~/Downloads文件夹下 ```shell $ cd ~/Downloads # wget是一个下载工具 $ wget https://dl.google.com/linux/direct/google-chrome-stab 阅读全文
摘要:
## 1.问题描述:在fireforx浏览器上安装好了ghelper插件,但是无法打开google.com ## 2.问题解决 * 1.尝试更换一个代理路线 * 2.尝试打开google.com.hk or youtube.com 阅读全文
摘要:
## 翻译自stackoverflow的[参考博客][1] ## 本文是[参考博客][1]的汉化版 ### 1.打开设置->区域与语言->管理已经安装的语言->点击安装/删除语言 ### 2.选择中文(简体中文),同时键盘输入法系统选择IBUS,然后点击右下角的应用 ### 3.重启电脑 ### 4 阅读全文
摘要:
## 翻译自[参考链接][1] ## 具体步骤 ### 1.安装extension manger这个软件(在终端中执行两条shell命令) ```shell sudo apt-get update sudo apt-get install gnome-shell-extension-manager 阅读全文
摘要:
## 1.原理:pandoc将markdown文件转换为tex文件,TexLive将tex文件转换为pdf文件 ## 2.打开cmd输入以下命令确保pandoc和texlive均安装成功 ```shell pandoc -v ``` ![](https://img2023.cnblogs.com/b 阅读全文