| Server IP : 49.231.201.246 / Your IP : 216.73.216.149 Web Server : Apache/2.4.18 (Ubuntu) System : Linux 246 4.4.0-210-generic #242-Ubuntu SMP Fri Apr 16 09:57:56 UTC 2021 x86_64 User : root ( 0) PHP Version : 7.0.33-0ubuntu0.16.04.16 Disable Function : exec,passthru,shell_exec,system,proc_open,popen,pcntl_exec MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/11584/root/usr/share/webmin/authentic-theme/extensions/file-manager/ |
Upload File : |
#!/usr/bin/perl
#
# Authentic Theme (https://github.com/authentic-theme/authentic-theme)
# Copyright Ilia Rostovtsev <ilia@virtualmin.com>
# Copyright Alexandr Bezenkov (https://github.com/real-gecko/filemin)
# Licensed under MIT (https://github.com/authentic-theme/authentic-theme/blob/master/LICENSE)
#
use strict;
our (%text, @remote_user_info, $path);
require($ENV{'THEME_ROOT'} . "/extensions/file-manager/file-manager-lib.pl");
get_paths();
my $confdir = "$remote_user_info[7]/.filemin";
if (!-d $confdir) {
mkdir $confdir or &error("$text{'error_creating_conf'}: $!");
}
if (!-f "$confdir/.bookmarks") {
utime time, time, "$confdir/.bookmarks";
}
my $bookmarks = read_file_lines($confdir . '/.bookmarks');
if (!length $path) {
$path = '/';
}
if (grep {$_ eq $path} @$bookmarks) {
@$bookmarks = grep !/\A\Q$path\E\z/, @$bookmarks;
} else {
push @$bookmarks, $path;
}
flush_file_lines($confdir . '/.bookmarks');
head();