📄 move-runs.pl
字号:
#!/pkg/gnu/bin//perl5
#
#$Id: move-runs.pl 80826 2008-03-04 14:51:23Z wotte $
#
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 + -