Editor 乔';s自己的编辑器-如何更改选项卡大小

Editor 乔';s自己的编辑器-如何更改选项卡大小,editor,Editor,我在更改Joe中的标签大小时遇到问题 我已将joerc复制到$HOME,并将-tab行编辑到-tab 4,但这并没有改变Joe中的选项。另外,当我编辑joerc时,数字4是绿色而不是蓝色,所以我认为它读错了 有人知道如何做到这一点吗?我也花了大约20分钟来设置标签大小。以下是解决方案: 一、公开: /etc/joe/joerc 二,。查找包含-tab nnn的行并将其更改为: -表4 (我假设您想将选项卡大小更改为4。如果您想要不同的值,请用您的值替换所有4) 三、 查找-istep nnn并将

我在更改Joe中的标签大小时遇到问题

我已将
joerc
复制到
$HOME
,并将
-tab
行编辑到
-tab 4
,但这并没有改变Joe中的选项。另外,当我编辑joerc时,数字4是绿色而不是蓝色,所以我认为它读错了


有人知道如何做到这一点吗?

我也花了大约20分钟来设置标签大小。以下是解决方案:

一、公开:

/etc/joe/joerc

二,。查找包含-tab nnn的行并将其更改为:

-表4

(我假设您想将选项卡大小更改为4。如果您想要不同的值,请用您的值替换所有4)

三、 查找-istep nnn并将其更改为:

-istep 4

四、 保存并退出

这将为没有扩展名的文件设置选项卡大小4。如果要更改具有*.java等常用扩展名的文件的选项卡大小,请执行以下操作:

I.打开/etc/joe/ftyperc

二,。查找您的扩展,例如*.java。最初看起来像:

 JAVA

*.java

-autoindent

-syntax java

-smarthome

-smartbacks

-purify

-cpara >#!;*/%
三、 您必须注释(在其前面插入选项卡)-自动缩进和添加-istep 4 bellow-cpara。它应该是这样的:

 JAVA

*.java

     -autoindent

-syntax java

-smarthome

-smartbacks

-purify

-cpara >#!;*/%

-istep 4
真正的解决办法是:

  • 创建一个文件
    $HOME/.joerc
    (至少不是Debian
    joerc
    所建议的
    .joe
  • 第一行必须是
    :include/etc/joe/joerc
  • 然后,一行只包含一个
    *
    和一个换行符
  • 然后,
    -tab 4
    -istep 4
    ,每一行
  • 在末尾添加一个空行

  • 您还可以使用其他遮罩添加更多选项

    如果其他人遇到这种情况,我正在AIX上运行一个古老版本的joe,经过一些痛苦的尝试和错误之后,结果证明-smartbacks是我的问题所在。我评论说,行输出和标签工作,把它放回去,他们回到2。可能在以后的版本中修复了,但希望这能帮助其他人解决同样的问题

     JAVA
    *.java
    -spaces
    -tab 4
    -istep 4
    -indentc 32
    -autoindent
    -syntax java
    -smarthome
     -smartbacks
    -purify
    

    每次按下tab键时,它会在执行以下步骤后插入4个空格(使用joe 4.6):

    • 执行
      sudo-joe/etc/joe/joerc

    • 找到包含
      -tab nnn tab width
      的行,将其更改为
      -tab 4 tab width
      ,并确保其左侧没有空格

    • 向下几行,找到包含
      -spaces选项卡插入空格而不是选项卡的行,并确保其左侧没有空格

    • 保存并退出


    这适用于没有扩展名的文件、.cpp文件、.java文件、.c文件、.txt文件等。

    这是真正的答案。+1。截至2016年10月,Joe v4.1和4.2选项卡的位置似乎只有在
    :include/etc/Joe/joerc
    行移动到
    $HOME/.joerc
    文件的末尾时才得到尊重。joe用户手册说要将/etc/joe/joerc复制到您的主目录并修改它,但我认为这里列出的
    :include
    方法更易于管理。为什么这样做会丢失上下文突出显示?我太迷茫了。“那么2020年的答案是什么?”dylanh724写道,“我太迷路了。那么2020年的答案是什么?”。刚刚添加的,可能对您有用。