15%
07.06.2019
_HOME=/ephemeral/jenkins
10
11 # for main web interface:
12 EXPOSE ${HTTP_PORT}
13
14 ENV JENKINS_HOME=${JENKINS_HOME}
15 ENV CASC_JENKINS_CONFIG=/jcasc_config
16
17 COPY jcasc_config/* ${CASC_JENKINS_CONFIG}/
18
19 RUN mkdir
15%
14.08.2017
('request_processing_seconds', 'Time spent processing request')
07
08 # Decorate function with metric.
09 @REQUEST_TIME.time()
10 def process_request(t):
11 """A dummy function that takes some time."""
12 time.sleep(t)
13
14
15%
13.12.2018
is the distribution must include systemd [3].
However, if you really want to stay safe, you might want to rely on one of the three distributions officially supported by Microsoft:
RHEL 7.3+
SELS v12 SP2
15%
19.02.2013
interface eth3
09 ip ospf message-digest-key 1 md5 hallo123
10 !
11 !
12 router ospf
13 redistribute connected
14 network 172.16.1.0/24 area 0.0.0.0
15 network 172.17.0.0/
16 area 0.0.0.016 network 192
15%
17.02.2015
}
07 define service{
08 use generic-service
09 host_name w2k12srv
10 service_description Uptime
11 check_command check_nt!UPTIME
12 }
13 define service
15%
17.02.2015
return float(val)
08 except:
09 return None
10
11 with open(sys.argv[1]) as csvfile:
12 collec = MongoClient()["galaxy"]["comets"]
13 for row in csv.reader(csvfile, delimiter="\t"):
14 try
15%
10.04.2015
2 ]
12 then
13 # Clamscan error
14 echo "Scan error: ${WATCHMAN_ROOT}/$file" | \
mailx -s "Scan error" mail@example.com
15 fi
16 # Else no virus found
17 done
However
15%
11.06.2014
_auth;
04
05 group server => "hercules", "sugar";
06
07 desc "Get the uptime of all servers";
08
09 task "uptime", group => "server", sub {
10 my $output = run "uptime";
11 say $output;
12 }
You might
15%
09.10.2017
rule phishing_pdf {
02
03 meta:
04 author = "James Stanger"
05 last_updated = "2017-09-12"
06 category = "phishing"
07 confidence = "high"
08 threat_type = "phishing exploit"
09 description
15%
29.09.2020
",
04 "visible": true,
05 "color": "green",
06 "user": "root"
07 },
08 "web server": {
09 "address": "192.168.2.4",
10 "visible": true,
11 "color": "rgb(100, 200, 0)",
12
