christoph/failnix
1
Fork 0
Code Releases Activity

fix menu.pl syntax highlighting in zed

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-28 08:51:14 +02:00
parent d7548a19ab
commit 05a4aa18e4
3 changed files with 9 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/menu.pl
View File

@ -46,10 +46,10 @@ my $db_port = "3306";
my $db_user = "smchurla";
my %handlers = (
'01. Build Experiments' => sub { do "$local_scripts_dir/build.pl"; },
'01. Build Experiments' => sub { do qq{$local_scripts_dir/build.pl}; },
'02. Deploy Experiments (Mars)' =>
sub { do "$local_scripts_dir/deploy.pl"; },
sub { do qq{$local_scripts_dir/deploy.pl}; },
'03. Archive Experiments (Downloads from Mars)' => sub {
@ -211,7 +211,7 @@ my %handlers = (
},
'10. Explore Experiment Results' =>
sub { do "$local_scripts_dir/explore.pl" },
sub { do qq{$local_scripts_dir/explore.pl}; },
'11. Compare Experiment Results' => sub {