📄 generate-text-files.pl
字号:
#!/usr/bin/perl -w -*- perl -*-# Generate text files from top directory from the manual.$from = shift(@ARGV);$fnode = shift(@ARGV);$tnode = shift(@ARGV);open(IN, "$from") || die "Cannot open $from: $!";$in = 0;while (<IN>){ if ($in) { if (/Node: $tnode,/ || /\[index/) { $in = 0; } elsif (/^File: mysql.info/ || (/^/)) { # Just Skip node beginnings } else { print; } } else { if (/Node: $fnode,/) { $in = 1; # Skip first empty line <IN>; } }}close(IN);die "Could not find node \"$tnode\"" if ($in == 1);exit 0;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -