Ticket #2127 (accepted enhancement) — at Version 4

Opened 14 years ago

Last modified 14 years ago

[PATCH] [Syntax] UPDATED: file extension for "sh"

Reported by: zaytsev Owned by: zaytsev
Priority: trivial Milestone: 4.7.2
Component: mcedit Version: master
Keywords: Cc:
Blocked By: Blocking:
Branch state: Votes for changeset:

Description (last modified by andrew_b) (diff)

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=502196

From: Michelle Konzack <linux4michelle@tamay-dogan.net>
To: BTS <submit@bugs.debian.org>
Subject: [Syntax] UPDATED: file extension for "sh"
Date: Tue, 14 Oct 2008 13:06:47 +0200
[Message part 1 (text/plain, inline)]
Package: mc
Severity: wishlist
Hello Winnie,
I find it realy annoying, if I put something in my BaSH configs and have
NO syntax hilighting so I have changed the line from
file ..\*\\.sh$ Shell\sScript ^#!\s\*/(.\*/|usr/bin/env\s)([a-z]?|ba|pdk)sh
include sh.syntax
to
file .\*(bash_completion|profile|\\.(sh|bash_login|bash_profile|bash_logout|bash_aliases|bash_exports|bash_history|bash_userstuff|bashrc|profile))$ Shell\sScript ^#!\s\*/(.\*/|usr/bin/env\s)([a-z]?|ba|pdk)sh
include sh.syntax
which now coloriser my BaSH configs nicely...
(See attached screenshot)
Thanks, Greetings and nice Day/Evening
    Michelle Konzack
    Systemadministrator
    24V Electronic Engineer
    Tamay Dogan Network
    Debian GNU/Linux Consultant

Change History

Changed 14 years ago by zaytsev

comment:1 Changed 14 years ago by zaytsev

  • severity changed from no branch to on review

Branch: 2127_sh_ext (parent: master)
Changeset: 66ab789e4c6424899baa4698d20b5560dd3a36c9

comment:2 Changed 14 years ago by zaytsev

  • Status changed from new to accepted
  • Owner set to zaytsev

comment:3 Changed 14 years ago by andrew_b

  • Component changed from mc-core to mcedit

comment:4 Changed 14 years ago by andrew_b

  • Description modified (diff)

I think, .bash_history is not a shell script. :)

Note: See TracTickets for help on using tickets.