📄 move-runs.pl
字号:
#!/pkg/gnu/bin//perl5
#
#move-runs.pl,v 1.2 2000/06/04 22:00:03 brunsch Exp
#
push(@INC, "$wd/bin");
require('WebStone-common.pl');
html_begin();
if ($runsdir ne $oldrunsdir) {
print CLIENT "<BODY>Moving $oldrunsdir to $runsdir...";
if (-e $runsdir) {
print CLIENT "<STRONG>Error: $runsdir already exists!</STRONG>";
}
rename($oldrunsdir, $runsdir);
print CLIENT "<P>Done.";
}
else
{
print CLIENT "<STRONG>Can't move $runsdir <P>to $oldrunsdir</STRONG>";
}
html_end();
# end
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -