This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with | |
ada.Text_IO, | |
ada.unchecked_Conversion; | |
-- procedure test | |
-- is | |
-- use ada.Text_IO; | |
-- type String_to_Float is (Behind, Close, Near, Far); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ pacman-key --list-keys remy | |
gpg: Note: trustdb not writable | |
pub rsa4096 2011-02-16 [SC] | |
44EA62ACDBC81B6A0D1FD267206CBC892D1493D2 | |
uid [ full ] Rémy Oudompheng <remy@archlinux.org> | |
uid [ full ] Rémy Oudompheng <oudomphe@phare.normalesup.org> | |
sub rsa4096 2011-02-16 [E] | |
pub rsa4096 2014-06-16 [SCEA] [revoked: 2016-08-16] | |
E32F7CC40BDF3EF7828DCAE95FC4BCAC2D1493D2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:: Proceed with installation? [Y/n] | |
debug: using cachedir: /var/cache/pacman/pkg/ | |
debug: checking available disk space for download | |
debug: discovered mountpoint: /tmp | |
debug: discovered mountpoint: /sys/kernel/tracing | |
debug: discovered mountpoint: /sys/kernel/security | |
debug: discovered mountpoint: /sys/kernel/debug | |
debug: discovered mountpoint: /sys/kernel/config | |
debug: discovered mountpoint: /sys/fs/pstore | |
debug: discovered mountpoint: /sys/fs/cgroup/unified |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ sudo pacman --debug -S texlive-core | |
[sudo] password for rod: | |
debug: pacman v5.2.1 - libalpm v12.0.1 | |
debug: config: attempting to read file /etc/pacman.conf | |
debug: config: new section 'options' | |
debug: config: HoldPkg: pacman | |
debug: config: HoldPkg: glibc | |
debug: config: arch: x86_64 | |
debug: config: SigLevel: Required | |
debug: config: SigLevel: DatabaseOptional |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with "config"; | |
project Lumen is | |
case Config.OS is | |
when "Windows_NT" => | |
for Source_Dirs use ("src","src/win32"); | |
when "Linux"|"MacOSX" => | |
for Source_Dirs use ("src","src/x11"); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
apud | |
Ada.Text_IO; | |
ratio Salve | |
est | |
uti Ada.Text_IO; | |
incipere | |
put_Line ( "Salve!"); | |
Salve tandem; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
abstract | |
project Shared is | |
for Source_Files use (); | |
-- Scenario Variables | |
-- | |
type Os_Type is |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ ./camcell -w -c ../config.json | |
Registering the signal handler | |
is_pixelclock value parsed: 40 | |
is_set_enable_auto_shutter value parsed: true | |
is_set_enable_auto_gain value parsed: true | |
is_setframerate value parsed: 80 | |
is_gamma value parsed: 180 | |
is_edgeenhancement value parsed: 10 | |
width value parsed: 640 | |
height value parsed: 480 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- kernel/src/gps-kernel-timeout.adb 2014-11-14 05:15:57.000000000 +1100 | |
+++ kernel/src/gps-kernel-timeout.adb-new 2016-06-16 17:52:01.374463000 +1000 | |
@@ -587,7 +587,7 @@ | |
if Line_By_Line then | |
Expect_Regexp := new Pattern_Matcher'(Compile ("^.*?\n")); | |
else | |
- Expect_Regexp := new Pattern_Matcher'(Compile (".*$", Single_Line)); | |
+ Expect_Regexp := new Pattern_Matcher'(Compile (".*", Single_Line)); | |
end if; | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*** kernel/src/gps-kernel-timeout.adb Fri Nov 14 05:15:57 2014 | |
--- kernel/src/gps-kernel-timeout.adb-new Thu Jun 16 17:52:01 2016 | |
*************** | |
*** 587,593 **** | |
if Line_By_Line then | |
Expect_Regexp := new Pattern_Matcher'(Compile ("^.*?\n")); | |
else | |
! Expect_Regexp := new Pattern_Matcher'(Compile (".*$", Single_Line)); | |
end if; | |
NewerOlder