小编Rot*_*eti的帖子

减少动画 gif 的持续时间

我有一个 gif 动画,我想截断最后 5 秒。有谁知道如何在 Linux/Ubuntu 中做到这一点?

gif

17
推荐指数
1
解决办法
9011
查看次数

通过命令切换 gnome 终端提示字符串的格式?

我的终端有一个这样的默认提示格式:

用户名@boxname /path/to/current/directory $

生成它的代码如下所示:(它也有一些颜色定义)

PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[01;34m\] \w \$\[\033[00m\]'
Run Code Online (Sandbox Code Playgroud)

如果当前目录的路径太长,使用终端会变得不愉快,因为您经常断行。在这种情况下,我更喜欢一种生成较短字符串的格式,如下所示:

用户名@boxname current_dir_name $

生成它的代码看起来像这样(再次使用颜色):

PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[01;34m\] $(basename ${PWD}) \$ \[\033[00m\]'
Run Code Online (Sandbox Code Playgroud)

有谁知道我可以很容易地切换从一个风格当前终端窗口的例如格式的,其他的只是打字:prompttoggle

bash gnome-terminal

9
推荐指数
3
解决办法
952
查看次数

标签 统计

bash ×1

gif ×1

gnome-terminal ×1