blob: fad152e3350ed560d7ecc69ea78d1093ded52c56 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
class Utils {
public static string get_shell() {
unowned var env_shell = Environment.get_variable("SHELL");
if (env_shell != null && env_shell.length > 0) {
return env_shell;
}
unowned Posix.Passwd pw = Posix.getpwuid(Posix.getuid());
if (pw != null && pw.pw_shell.length > 0) {
return pw.pw_shell;
}
return "/bin/sh";
}
public static string? normalize_uri(string? uri) {
if (uri == null)
return null;
string? u = Uri.unescape_string(uri, null);
if (u == null)
u = uri;
if (u.has_prefix("ftp://") ||
u.has_prefix("gopher://") ||
u.has_prefix("http://") ||
u.has_prefix("https://") ||
u.has_prefix("rtmp://")) {
int a = u.index_of("/", 0) + 2; // character after second slash
int b = u.index_of("/", a); // next slash after hostname...
if (b < 0)
b = u.length; // ... or end of string
string hostname = u.slice(a, b);
string? canon = Hostname.to_unicode(hostname);
if (canon != null && hostname != canon) {
u = u.splice(a, b, canon);
}
}
return u;
}
}
|