# highlighting for key="string", used in HTML and XML
string delim "\"" "\"" escape "\\" multiline
string delim "'" "'" escape "\\" multiline
# this is valid <p foo=/bar/> and equivalent to <p foo="bar">
string delim "/" "/"
# this is for HTML5 style for <a h=specification without quotes>
(type,normal,symbol,normal,string) = `([^="[:blank:]>]+)([[:blank:]]*)(=)([[:blank:]]*)([^="'>]+)`
# this is for the case where we expect " " or ' ' after the =
(type,normal,symbol) = `([^="[:blank:]>]+)([[:blank:]]*)(=)`
# everything else is highlighted as type
type = '[[:alnum:]]+'
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/uncov
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/uncov
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master