| Server IP : 195.114.193.97 / Your IP : 216.73.217.93 Web Server : LiteSpeed System : Linux host 5.15.0-126-generic #136-Ubuntu SMP Wed Nov 6 10:38:22 UTC 2024 x86_64 User : sembi4241 ( 1126) PHP Version : 8.1.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /proc/self/root/usr/share/source-highlight/ |
Upload File : |
# language definition for files created with 'diff'
# diff created with -u option
state oldfile = '(?=^[-]{3})' begin
oldfile start '^[-]{3}'
oldfile start '^[-]'
newfile start '^[+]'
difflines start '^@@'
end
# diff created with -c option
state oldfile = '(?=^[*]{3})' begin
environment oldfile = '^[*]{3}[[:blank:]]+[[:digit:]]' begin
normal start '^[[:space:]]'
newfile = '(?=^[-]{3})' exit
end
oldfile start '^[*]{3}'
environment newfile = '^[-]{3}[[:blank:]]+[[:digit:]]' begin
normal start '^[[:space:]]'
newfile = '(?=^[*]{3})' exit
normal start '^diff' exit
end
newfile start '^[-]{3}'
end
# otherwise, created without options
state difflines = '(?=^[[:digit:]])' begin
difflines start '^[[:digit:]]'
oldfile start '^[<]'
newfile start '^[>]'
end