zapashcanon/opazl
1
0
Fork 0
Code Issues 1 Pull Requests Actions Releases Wiki Activity

new build manifest, format, add tests

Browse Source
This commit is contained in:
zapashcanon 2019-11-19 23:05:00 +01:00
parent 33fc7a2e54
commit e47c63bd0f
Signed by: zapashcanon
GPG Key ID: 8981C3C62D1D28F1
12 changed files with 491 additions and 48 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
.build.yml
View File

@ -4,12 +4,50 @@ packages:
- ocaml
sources:
- https://git.zapashcanon.fr/zapashcanon/opazl
environment:
name: opazl
deploy: fs@zapashcanon.fr
sshopts: "-o StrictHostKeyChecking=no -q"
coverage_dst: /var/www/coverage.zapashcanon.fr
doc_dst: /var/www/doc.zapashcanon.fr
archive_dst: /var/www/fs.zapashcanon.fr/archive
secrets:
- ec1f49cd-38dc-41d9-89f4-c3b6ecd7bcad # ssh deploy key
tasks:
- setup: |
opam init -y
opam update -y
opam install -y dune sedlex uutf uucp
- build: |
opam install -y dune bisect_ppx odoc ocamlformat sedlex uutf uucp
- lint-format: |
cd $name
eval "$(opam env)"
ocamlformat -p ocamlformat --enable-outside-detected-project --check $(find . -name '*.ml')
- build: |
cd $name
eval "$(opam env)"
cd opazl
dune build @all
- test: |
cd $name
eval "$(opam env)"
dune runtest
- deploy-doc: |
cd $name
eval "$(opam env)"
dune build @doc
ssh $sshopts $deploy "mkdir -p $doc_dst/$name/"
scp $sshopts -r _build/default/_doc/_html/* $deploy:$doc_dst/$name/
- deploy-coverage: |
cd $name
eval "$(opam env)"
dune clean
BISECT_ENABLE=YES dune runtest --no-buffer --force > /dev/null
bisect-ppx-report -html _coverage/ "$(find . -name 'bisect*.out')"
ssh $sshopts $deploy "mkdir -p $coverage_dst/$name/"
scp $sshopts -r _coverage/* $deploy:$coverage_dst/$name/
- archive: |
cd $name
eval "$(opam env)"
dune clean
git archive -o ${name}-dev.tar.xz HEAD
ssh $sshopts $deploy "mkdir -p $archive_dst/$name/"
scp $sshopts ${name}-dev.tar.xz $deploy:$archive_dst/$name/

1
.gitignore vendored
View File

@ -1,3 +1,4 @@
_build/
_coverage/
*.merlin
*.install

4
dune-project
View File

@ -1,3 +1,5 @@
(lang dune 1.6)
(lang dune 1.11)
(name opazl)
(explicit_js_mode)

10
example/reprint.ml
View File

@ -1,12 +1,8 @@
let _ =
if Array.length Sys.argv < 2 then failwith (Format.sprintf "usage: %s <log file>" Sys.argv.(0));
if Array.length Sys.argv < 2 then
failwith (Format.sprintf "usage: %s <log file>" Sys.argv.(0)) ;
let file = Sys.argv.(1) in
let chan = open_in file in
let msgs = Opazl.Parser.from_channel chan in
close_in chan;
close_in chan ;
Opazl.Pp.fprintf_file Format.std_formatter msgs

8
src/ast.ml
View File

@ -1,13 +1,13 @@
type time = int * int * int
type user = string
type msg = string
type notice = string
type action = string
type content =
| Msg of user * msg
| Notice of notice
| Action of action
type content = Msg of user * msg | Notice of notice | Action of action
type line = time * content

2
src/dune
View File

@ -2,4 +2,4 @@
(public_name opazl)
(libraries sedlex)
(preprocess
(pps sedlex.ppx)))
(pps bisect_ppx -conditional sedlex.ppx)))

35
src/lexer.ml
View File

@ -1,37 +1,43 @@
open Ast
let digit = [%sedlex.regexp? '0'..'9']
let digit2 = [%sedlex.regexp? digit , digit]
let digit = [%sedlex.regexp? '0' .. '9']
let digit2 = [%sedlex.regexp? digit, digit]
let eol = [%sedlex.regexp? '\n']
let any_except_eol = [%sedlex.regexp? Star Sub (any, '\n')]
let any_except_eol_eon = [%sedlex.regexp? Star Sub (Sub (any, '\n'), '>')]
let any_except_eol = [%sedlex.regexp? Star (Sub (any, '\n'))]
let any_except_eol_eon = [%sedlex.regexp? Star (Sub (Sub (any, '\n'), '>'))]
let lxm = Sedlexing.Utf8.lexeme
let extract_time s =
Scanf.sscanf s "[%d:%d:%d]" (fun x y z -> x, y, z)
let extract_time s = Scanf.sscanf s "[%d:%d:%d]" (fun x y z -> (x, y, z))
let extract_sub useless start s =
let len = String.length s - useless in
if len < 1 then "" else String.sub s start len
let extract_user = extract_sub 4 2
let extract_notice = extract_sub 6 5
let extract_action = extract_sub 4 3
let extract_msg = extract_sub 1 0
let rec file buf =
match%sedlex buf with
| '[', digit2, ':', digit2, ':', digit2, ']' ->
let time = extract_time (lxm buf) in
let content = line_content buf in
Some (time, content)
| eof -> None
| _ -> failwith "unexpected character (file)"
| eof ->
None
| _ ->
failwith "unexpected character (file)"
and line_content buf =
match%sedlex buf with
| " <", any_except_eol_eon, "> " ->
let user = extract_user (lxm buf) in
@ -41,11 +47,12 @@ and line_content buf =
Notice (extract_notice (lxm buf))
| " * ", any_except_eol, eol ->
Action (extract_action (lxm buf))
| _ -> failwith "unexpected character (line_content)"
| _ ->
failwith "unexpected character (line_content)"
and msg buf =
match%sedlex buf with
| any_except_eol, eol ->
extract_msg (lxm buf)
| _ -> failwith "unexpected character (msg)"
extract_msg (lxm buf)
| _ ->
failwith "unexpected character (msg)"

21
src/parser.ml
View File

@ -1,15 +1,16 @@
let from_channel chan =
let lexbuf = Sedlexing.Utf8.from_channel chan in
let from_lexbuf lexbuf =
let next_line () = Lexer.file lexbuf in
let msgs = ref [] in
let rec loop = function
| Some msg -> msgs := msg :: !msgs; loop (next_line ())
| None -> ()
| Some msg ->
msgs := msg :: !msgs ;
loop (next_line ())
| None ->
()
in
loop (next_line ());
loop (next_line ()) ;
List.rev !msgs
let from_channel chan = from_lexbuf (Sedlexing.Utf8.from_channel chan)
let from_string string = from_lexbuf (Sedlexing.Utf8.from_string string)

19
src/pp.ml
View File

@ -1,12 +1,14 @@
open Ast
let fprintf_content fmt = function
| Msg (usr, msg) -> Format.fprintf fmt "<%s> %s" usr msg
| Notice s -> Format.fprintf fmt "* %s" s
| Action s -> Format.fprintf fmt "*** %s" s
| Msg (usr, msg) ->
Format.fprintf fmt "<%s> %s" usr msg
| Notice s ->
Format.fprintf fmt "* %s" s
| Action s ->
Format.fprintf fmt "*** %s" s
let pad_int fmt i =
Format.fprintf fmt (if i < 10 then "0%d" else "%d") i
let pad_int fmt i = Format.fprintf fmt (if i < 10 then "0%d" else "%d") i
let fprintf_time fmt (h, m, s) =
Format.fprintf fmt "[%a:%a:%a]" pad_int h pad_int m pad_int s
@ -15,7 +17,8 @@ let fprintf_line fmt (time, content) =
Format.fprintf fmt "%a %a" fprintf_time time fprintf_content content
let print_lines lines =
Format.pp_print_list ~pp_sep:(fun fmt () -> Format.fprintf fmt "@.") fprintf_line lines
Format.pp_print_list
~pp_sep:(fun fmt () -> Format.fprintf fmt "@.")
fprintf_line lines
let fprintf_file fmt file =
Format.fprintf fmt "%a@." print_lines file
let fprintf_file fmt file = Format.fprintf fmt "%a@." print_lines file

384
test/2017-05-02.log Normal file
View File

@ -0,0 +1,384 @@
[00:03:26] *** Quits: deadalnix_ (~deadalnix@37.168.139.73) (Ping timeout: 480 seconds)
[00:05:23] *** Quits: jkirk (~jkirk@213-47-49-111.cable.dynamic.surfer.at) (Quit: leaving)
[00:07:03] *** Quits: lmc (~lmc@ip-67-213-81-21.fibre.fibrestream.ca) (Ping timeout: 480 seconds)
[00:07:41] *** Joins: On4r4p_ (~ouroboros@138.68.83.18)
[00:07:41] *** On4r4p_ is now known as On4r4p703
[00:08:28] *** Joins: jkirk (~jkirk@213-47-49-111.cable.dynamic.surfer.at)
[00:08:48] *** Joins: chomwitt (~chomwitt@athedsl-32261.home.otenet.gr)
[00:09:10] *** Quits: zwenna (~user@p5B133998.dip0.t-ipconnect.de) (Quit: quit)
[00:26:26] *** Quits: wCPO (~kristian@2a00:fd00:fff0:7e2c:b57d:291b:3bed:4305) (Ping timeout: 480 seconds)
[00:28:16] *** Quits: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com) (Ping timeout: 480 seconds)
[00:30:38] *** Quits: narcan (~narcan@77.113.16.93.rev.sfr.net) (Quit: Leaving)
[00:34:19] *** Quits: Pali (~pali@0001caa5.user.oftc.net) (Remote host closed the connection)
[00:39:30] *** Quits: jstein (~quassel@xdsl-213-196-247-244.netcologne.de) (Remote host closed the connection)
[00:42:53] *** Joins: Techwolfy (~Techwolf@dhcp-019b-167.classnet.uci.edu)
[00:45:11] *** Joins: sneetsher (~sneetsher@105.110.17.9)
[00:50:33] *** Parts: sneetsher (~sneetsher@105.110.17.9) ()
[00:50:40] *** Quits: Techwolf (~Techwolf@dhcp-v038-227.mobile.uci.edu) (Ping timeout: 480 seconds)
[00:58:51] *** Quits: jkirk (~jkirk@213-47-49-111.cable.dynamic.surfer.at) (Ping timeout: 480 seconds)
[00:59:30] *** Joins: Techwolf|Laptop (~Techwolf@dhcp-v038-227.mobile.uci.edu)
[00:59:32] *** Joins: Son_Goku (~ngompa@ec2-52-55-121-20.compute-1.amazonaws.com)
[01:02:17] *** Quits: Techwolfy (~Techwolf@dhcp-019b-167.classnet.uci.edu) (Ping timeout: 480 seconds)
[01:06:45] *** Joins: jstein (~quassel@xdsl-213-196-247-244.netcologne.de)
[01:08:36] *** Quits: jstein (~quassel@xdsl-213-196-247-244.netcologne.de) (Remote host closed the connection)
[01:23:53] *** Quits: chomwitt (~chomwitt@athedsl-32261.home.otenet.gr) (Ping timeout: 480 seconds)
[01:35:09] *** Quits: rockstorm (~rock@92.190.76.235) (Ping timeout: 480 seconds)
[01:36:14] *** Joins: rockstorm (~rock@92.190.76.235)
[01:53:03] *** Joins: lmc (~lmc@ip-67-213-81-21.fibre.fibrestream.ca)
[01:53:14] *** Quits: lmc (~lmc@ip-67-213-81-21.fibre.fibrestream.ca) ()
[01:58:11] *** Joins: infinity0_ (~infinity0@occupy.ecodis.net)
[01:58:13] *** infinity0 is now known as Guest1603
[01:58:13] *** infinity0_ is now known as infinity0
[01:58:36] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:00:53] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:01:21] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:02:06] *** Quits: Guest1603 (~infinity0@0001b9ba.user.oftc.net) (Ping timeout: 480 seconds)
[02:03:38] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:03:54] *** Quits: rockstorm (~rock@92.190.76.235) (Quit: Leaving.)
[02:04:06] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:06:23] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:06:51] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:09:08] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:09:09] *** Quits: felGru (~quassel@xdsl-89-0-251-185.netcologne.de) (Read error: Connection reset by peer)
[02:09:36] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:11:53] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:12:21] *** Quits: infinity0 (~infinity0@0001b9ba.user.oftc.net) (Remote host closed the connection)
[02:14:38] *** Joins: infinity0 (~infinity0@0001b9ba.user.oftc.net)
[02:16:32] *** Quits: nuked (~nuked@host86-139-253-185.range86-139.btcentralplus.com) (Remote host closed the connection)
[02:19:24] *** Joins: feathered_person (~feathered@00021472.user.oftc.net)
[02:28:51] *** Quits: ghisvail (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net) (Ping timeout: 480 seconds)
[02:57:33] *** Quits: feathered_person (~feathered@00021472.user.oftc.net) (Ping timeout: 480 seconds)
[02:58:48] *** Quits: Techwolf|Laptop (~Techwolf@dhcp-v038-227.mobile.uci.edu) (Ping timeout: 480 seconds)
[03:11:11] *** Quits: Son_Goku (~ngompa@ec2-52-55-121-20.compute-1.amazonaws.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[03:44:22] *** Joins: hbriese_ (~quassel@58-7-206-116.dyn.iinet.net.au)
[03:44:35] *** Joins: taffit (~taffit@229.80.90.202.dsl.dyn.mana.pf)
[03:51:23] *** Quits: taffit_ (~taffit@132.83.90.202.dsl.dyn.mana.pf) (Ping timeout: 480 seconds)
[04:02:38] *** Joins: tobi (~tobi@p5DDF2A2E.dip0.t-ipconnect.de)
[04:08:36] *** Quits: On4r4p703 (~ouroboros@138.68.83.18) (Read error: Connection reset by peer)
[04:09:36] *** Quits: tobi_ (~tobi@p5DDF0CEE.dip0.t-ipconnect.de) (Ping timeout: 480 seconds)
[04:09:38] *** Quits: jonas (jonas@xayide.jones.dk) (Ping timeout: 480 seconds)
[04:13:03] *** Quits: cruncher (~cruncher@00020ba0.user.oftc.net) (Quit: Leaving)
[04:21:28] *** Joins: On4r4p703 (~ouroboros@138.68.83.18)
[04:23:14] *** Joins: jonas (jonas@xayide.jones.dk)
[04:30:44] *** Quits: faw (~faw@faw.user.oftc.net) (Remote host closed the connection)
[04:35:53] *** Joins: Techwolf|Laptop (~Techwolf@2600:8802:2101:1b90:5560:4072:1ae8:d3d5)
[04:39:57] *** Joins: faw (~faw@faw.user.oftc.net)
[04:59:01] *** Joins: tobi_ (~tobi@p5DDF05C6.dip0.t-ipconnect.de)
[05:05:54] *** Quits: tobi (~tobi@p5DDF2A2E.dip0.t-ipconnect.de) (Ping timeout: 480 seconds)
[05:13:05] *** Quits: Techwolf|Laptop (~Techwolf@2600:8802:2101:1b90:5560:4072:1ae8:d3d5) (Ping timeout: 480 seconds)
[05:15:45] *** Quits: hclVicky (~chatzilla@cpe-24-90-178-162.nyc.res.rr.com) (Quit: ChatZilla 0.9.93 [Firefox 45.9.0/20170411115307])
[05:19:58] *** Joins: Techwolf|Laptop (~Techwolf@2600:8802:2101:1b90:5560:4072:1ae8:d3d5)
[05:25:51] *** Quits: holmgren (magnus@h-70-93.a163.priv.bahnhof.se) (Ping timeout: 480 seconds)
[05:39:13] *** Quits: faw (~faw@faw.user.oftc.net) (Ping timeout: 480 seconds)
[05:50:41] *** Quits: kuroi (~kuroi@p578E7A7F.dip0.t-ipconnect.de) (Ping timeout: 480 seconds)
[05:54:11] *** Joins: kuroi (~kuroi@p578E7B50.dip0.t-ipconnect.de)
[05:56:27] *** Joins: Son_Goku (~ngompa@76.191.45.90)
[06:32:42] *** Quits: tpot (~tpot@124-171-96-48.dyn.iinet.net.au) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[06:44:20] *** Quits: levlaz (~levlaz@136.24.145.120) (Quit: WeeChat 1.0.1)
[06:45:06] *** Joins: levlaz (~levlaz@136.24.145.120)
[07:09:39] *** Joins: aviau (~aviau@modemcable140.100-178-173.mc.videotron.ca)
[07:19:28] *** Quits: hbriese_ (~quassel@58-7-206-116.dyn.iinet.net.au) (Ping timeout: 480 seconds)
[07:23:16] *** Quits: annadane (~annadane@mtrlpq5302w-lp130-03-70-24-211-34.dsl.bell.ca) (Remote host closed the connection)
[07:30:45] *** Joins: pevik (~pvorel@prg-ext-pat.suse.com)
[07:31:12] *** Joins: holmgren (magnus@h-70-93.a163.priv.bahnhof.se)
[07:36:52] *** Joins: hbriese_ (~quassel@58-7-228-26.dyn.iinet.net.au)
[07:44:55] *** Joins: tpot (~tpot@124-171-96-48.dyn.iinet.net.au)
[08:17:50] *** Quits: hbriese_ (~quassel@58-7-228-26.dyn.iinet.net.au) (Read error: Connection reset by peer)
[08:20:02] *** Joins: sam-d (~sam-d@108-90-40-156.lightspeed.sntcca.sbcglobal.net)
[08:20:03] *** Joins: hbriese_ (~quassel@58-7-207-101.dyn.iinet.net.au)
[08:28:47] *** Joins: arturo (~aborrero@r2d2.cica.es)
[08:34:56] *** Quits: hbriese_ (~quassel@58-7-207-101.dyn.iinet.net.au) (Ping timeout: 480 seconds)
[08:46:09] *** Quits: tpot (~tpot@124-171-96-48.dyn.iinet.net.au) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[08:53:15] *** Quits: cyphase (~cyphase@000134f2.user.oftc.net) (Ping timeout: 480 seconds)
[08:54:55] *** Joins: cyphase (~cyphase@c-50-148-131-137.hsd1.ca.comcast.net)
[09:05:04] *** Quits: Son_Goku (~ngompa@76.191.45.90) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[09:07:57] *** Joins: astephanh (~Stephan@c3po.pp-nt.net)
[09:12:57] <astephanh> Morning. i have some maybe not so clever questions regarding debian packaging. i'm not a complete beginner on this topic. this is what i try to achieve. mostly i need to repackage some testing packages for older distributions. Almost everytime a rebuild is enough. But i have one package - ganeti - who i apply a personal patch. now i'm wondering how could a create a workflow git->patch->build to somehow track my changes and apply them to a
[09:12:57] <astephanh> newer version. today i to it this way: i have a virtualbox for every distribution and apply the patch manually by reading the old patch file and make the changes by hand. i tried to use git-buildpackage but this doesn't seem to make things easier. maybe there is a well known way to handle this
[09:13:41] *** Joins: sea-gull (~sea-gull@5.57.20.50)
[09:21:39] *** Joins: narcan (~narcan@176-57-33-240.as16211.net)
[09:22:23] *** Quits: bschaefer (~bschaefer@24.18.107.9) (Remote host closed the connection)
[09:32:05] *** Quits: Nirgal (~nirgal@0001c904.user.oftc.net) (Quit: Leaving.)
[09:39:46] *** Joins: ghisvail (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net)
[09:40:34] *** Joins: sea-gull_ (~sea-gull@5.57.20.50)
[10:00:25] *** Joins: nicooo (~nico@nicoo.user.oftc.net)
[10:00:50] *** Quits: nicoo (~nico@nicoo.user.oftc.net) (Read error: Connection reset by peer)
[10:04:49] *** Joins: Long_yanG (~long@15255.s.t4vps.eu)
[10:06:35] *** Joins: Mechtilde (~Mechtilde@134.99.122.138)
[10:06:35] *** Quits: LongyanG (~long@15255.s.t4vps.eu) (Ping timeout: 480 seconds)
[10:06:56] *** Quits: lucas (~lucas@xanadu.blop.info) (Remote host closed the connection)
[10:06:58] *** Joins: lucas (~lucas@xanadu.blop.info)
[10:11:13] *** Quits: Techwolf|Laptop (~Techwolf@2600:8802:2101:1b90:5560:4072:1ae8:d3d5) (Ping timeout: 480 seconds)
[10:12:00] *** Joins: ansel (~ansel@2003:5b:203b:100:6af7:28ff:fe06:801)
[10:27:52] *** Joins: DavidGH (~DGH@host-78-150-4-219.as13285.net)
[10:28:02] *** Joins: Nirgal (~nirgal@0001c904.user.oftc.net)
[10:34:21] *** Quits: Mechtilde (~Mechtilde@134.99.122.138) (Ping timeout: 480 seconds)
[10:58:52] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[11:08:18] *** Quits: umlaeute (~zmoelnig@umlaeute.mur.at) (Read error: Connection reset by peer)
[11:08:34] *** Joins: umlaeute (~zmoelnig@umlaeute.mur.at)
[11:10:53] *** Joins: LocutusOfBorg (~Gianfranc@37.177.9.73)
[11:19:00] *** Joins: evilQ (~evilQ@s158m188.unavarra.es)
[11:23:56] *** Quits: ludoviko (~evilQ@s158m188.unavarra.es) (Ping timeout: 480 seconds)
[11:31:03] *** Joins: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com)
[11:43:46] *** Quits: voltagex (sid133004@00019ea2.user.oftc.net) (Remote host closed the connection)
[11:44:03] *** Joins: Son_Goku (~ngompa@76.191.45.90)
[11:50:06] *** Joins: ghisvail_ (~ghisvail@2001:630:12:2ffe::251:92)
[11:50:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[11:50:50] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[11:55:03] *** Joins: voltagex (sid133004@00019ea2.user.oftc.net)
[11:55:11] *** Quits: ghisvail (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net) (Ping timeout: 480 seconds)
[12:02:01] *** Quits: tx (~tx@189.6.24.214) (Quit: Konversation terminated!)
[12:15:42] <bremner> astephanh: you can either use quilt, or git-rebase, or some combination to update the patch
[12:16:22] <bremner> or I guess maintain an integration branch with your changes in it.
[12:17:58] <astephanh> i created a new branch. but after inserting my patch, the merge / rebase of a newer branch / tag fails, because for example the debian/changelog is modified in botch branches
[12:18:36] *** Quits: ghisvail_ (~ghisvail@2001:630:12:2ffe::251:92) (Ping timeout: 480 seconds)
[12:19:12] <astephanh> i tried to diff my version against a old tag, merge the new version against a "fresh" old branch and then somehow merge the diff. but this is as complicated as redoing the changes by hand
[12:19:23] <bremner> yes, conflict resolution is an issue. I don't think there's a magic way around that.
[12:20:15] <bremner> but just because a rebase / merge has conflicts doesn't mean it "fails". Mostly these things are pretty easy to resolve.
[12:21:15] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:21:42] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:22:39] <bremner> astephanh: did you use gbp-pq in your experiments with git-buildpackage?
[12:22:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:23:20] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:23:27] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Max SendQ exceeded)
[12:24:12] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:25:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:25:54] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:27:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:27:51] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:28:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:29:20] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:30:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:30:53] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:32:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:33:00] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:33:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:34:27] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:35:03] *** Joins: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net)
[12:36:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:37:41] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:39:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:40:19] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:41:28] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Remote host closed the connection)
[12:41:36] *** Quits: Atm0spher1c (~Atm0spher@00020ba3.user.oftc.net) (Quit: quit)
[12:41:49] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:42:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:43:23] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:43:57] <astephanh> i followed this docu: https://honk.sigxcpu.org/piki/development/debian_packages_in_git/
[12:44:58] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Read error: Connection reset by peer)
[12:45:21] *** Joins: deadalnix (~deadalnix@37.168.65.83)
[12:49:59] *** Joins: olinuxx (~capturixe@ANancy-653-1-633-247.w92-130.abo.wanadoo.fr)
[12:54:24] *** Quits: deadalnix (~deadalnix@37.168.65.83) (Ping timeout: 480 seconds)
[12:58:42] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:02:36] *** Joins: martink (~martin@81.10.210.238)
[13:05:01] *** Quits: dpkg (~dpkg@dpkg.bot.oftc.net) (Quit: buh bye!)
[13:06:19] *** Joins: dpkg (~dpkg@dpkg.bot.oftc.net)
[13:22:16] *** Joins: chomwitt (~chomwitt@athedsl-32261.home.otenet.gr)
[13:22:47] *** Joins: Mechtilde (~Mechtilde@134.99.122.138)
[13:26:23] *** Quits: Son_Goku (~ngompa@76.191.45.90) (Read error: Connection reset by peer)
[13:26:28] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Read error: Connection reset by peer)
[13:26:49] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:27:58] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Remote host closed the connection)
[13:28:20] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:29:28] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Read error: Connection reset by peer)
[13:29:49] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:30:58] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Read error: Connection reset by peer)
[13:31:02] *** Joins: Son_Goku (~ngompa@76.191.45.90)
[13:31:20] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:32:28] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Read error: Connection reset by peer)
[13:32:50] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:33:59] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Remote host closed the connection)
[13:34:19] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:35:28] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Read error: Connection reset by peer)
[13:35:50] *** Joins: deadalnix (~deadalnix@37.165.5.239)
[13:36:19] *** Joins: cruncher (~cruncher@00020ba0.user.oftc.net)
[14:08:33] *** Joins: alinefm (~alinefm@32.104.18.243)
[14:09:06] *** Quits: ansel (~ansel@2003:5b:203b:100:6af7:28ff:fe06:801) (Ping timeout: 480 seconds)
[14:32:18] *** Joins: leitao (~breno@189.29.16.234)
[14:37:48] *** Joins: Dark-Jedi (~dark-jedi@dark-jedi.user.oftc.net)
[14:38:03] *** Quits: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com) (Ping timeout: 480 seconds)
[14:43:40] *** Joins: kart_ (~kartik_@60.243.27.84)
[14:48:07] *** Quits: arturo (~aborrero@r2d2.cica.es) (Remote host closed the connection)
[14:48:28] *** Joins: rockstorm (~rock@92.190.76.235)
[14:51:33] *** Quits: Mechtilde (~Mechtilde@134.99.122.138) (Ping timeout: 480 seconds)
[14:52:59] *** Joins: mppf (~mppf@00021b8f.user.oftc.net)
[15:07:51] *** Joins: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net)
[15:08:45] *** Quits: pevik (~pvorel@prg-ext-pat.suse.com) (Remote host closed the connection)
[15:11:14] *** Joins: ansel (~ansel@2003:5b:203b:100:6af7:28ff:fe06:801)
[15:13:34] *** Joins: jathan (~jathan@201.99.106.102)
[15:15:26] *** Quits: deadalnix (~deadalnix@37.165.5.239) (Ping timeout: 480 seconds)
[15:22:07] *** Quits: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net) (Quit: ghisvail_)
[15:22:17] *** Joins: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net)
[15:24:34] *** Quits: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net) (Read error: Connection reset by peer)
[15:24:57] *** Joins: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net)
[15:29:51] *** Quits: Son_Goku (~ngompa@76.191.45.90) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[15:30:56] *** Quits: Dark-Jedi (~dark-jedi@dark-jedi.user.oftc.net) (Remote host closed the connection)
[15:45:03] *** Joins: taffit_ (~taffit@132.83.90.202.dsl.dyn.mana.pf)
[15:51:48] *** Quits: taffit (~taffit@229.80.90.202.dsl.dyn.mana.pf) (Ping timeout: 480 seconds)
[15:58:03] *** Quits: LocutusOfBorg (~Gianfranc@37.177.9.73) (Quit: Leaving)
[16:05:27] *** nicooo is now known as nicoo
[16:16:27] *** Quits: mppf (~mppf@00021b8f.user.oftc.net) (Quit: Textual IRC Client: www.textualapp.com)
[16:19:54] *** Joins: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com)
[16:31:49] *** Joins: annadane (~annadane@mtrlpq5302w-lp130-03-70-24-211-34.dsl.bell.ca)
[16:34:42] *** Quits: kart_ (~kartik_@00012fe5.user.oftc.net) (Remote host closed the connection)
[16:43:08] *** Joins: kart_ (~kartik_@60.243.27.84)
[16:44:25] *** Joins: mppf (~mppf@00021b8f.user.oftc.net)
[16:46:56] *** Joins: cdesai_ (~cd@128.199.230.104)
[16:47:51] *** Quits: noahfx (~noahfx@104.131.52.106) (Remote host closed the connection)
[16:47:57] *** Joins: noahfx (~noahfx@104.131.52.106)
[16:48:16] *** Quits: caraka_ (~quassel@193.24.255.123.static.snap.net.nz) (Ping timeout: 480 seconds)
[16:48:17] *** Joins: Mechtilde (~Mechtilde@134.99.122.138)
[16:48:26] *** Quits: cdesai (~cd@128.199.230.104) (Ping timeout: 480 seconds)
[16:53:58] *** Joins: deadalnix (~deadalnix@196.138.16.93.rev.sfr.net)
[16:56:19] *** Quits: Mechtilde (~Mechtilde@134.99.122.138) (Ping timeout: 480 seconds)
[16:56:32] *** Joins: deadalnix__ (~deadalnix@196.138.16.93.rev.sfr.net)
[16:59:31] *** Quits: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net) (Ping timeout: 480 seconds)
[17:00:20] *** Joins: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net)
[17:02:01] *** Quits: deadalnix (~deadalnix@196.138.16.93.rev.sfr.net) (Ping timeout: 480 seconds)
[17:05:01] *** Quits: deadalnix__ (~deadalnix@196.138.16.93.rev.sfr.net) (Ping timeout: 480 seconds)
[17:09:48] *** Joins: deadalnix (~deadalnix@196.138.16.93.rev.sfr.net)
[17:11:53] *** Quits: rockstorm (~rock@92.190.76.235) (Quit: Leaving.)
[17:12:17] *** Quits: larjona (~quassel@82.159.46.51.dyn.user.ono.com) (Read error: Connection reset by peer)
[17:13:55] *** Joins: deadalnix__ (~deadalnix@196.138.16.93.rev.sfr.net)
[17:15:10] *** Joins: larjona (~quassel@82.159.46.51.dyn.user.ono.com)
[17:15:33] *** Quits: deadalnix_ (~deadalnix@196.138.16.93.rev.sfr.net) (Ping timeout: 480 seconds)
[17:21:03] *** Quits: deadalnix (~deadalnix@196.138.16.93.rev.sfr.net) (Ping timeout: 480 seconds)
[17:28:36] *** Quits: annadane (~annadane@mtrlpq5302w-lp130-03-70-24-211-34.dsl.bell.ca) (Remote host closed the connection)
[17:31:03] <olerem> pabs, nthykier: are there a way to search in existing debian/rule files?
[17:31:19] *** Quits: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com) (Ping timeout: 480 seconds)
[17:39:03] *** Quits: narcan (~narcan@176-57-33-240.as16211.net) (Quit: Leaving)
[17:39:08] *** Joins: zwenna (~user@p5B133998.dip0.t-ipconnect.de)
[17:57:39] *** Joins: bschaefer (~bschaefer@24.18.107.9)
[17:58:59] *** Joins: TheSuperGeek (~TheSuperG@ADijon-553-1-15-217.w92-161.abo.wanadoo.fr)
[18:00:07] <mapreri> olerem: codesearch.debian.net, check the faq, there is a keyword to have it search in a specific file.
[18:01:10] *** Joins: pdo_fn14 (~Guess@36.68.197.240)
[18:01:31] *** cdesai_ is now known as cdesai
[18:03:38] <olerem> mapreri: ok., thx
[18:05:44] *** Quits: sea-gull (~sea-gull@5.57.20.50) (Ping timeout: 480 seconds)
[18:05:50] *** Quits: pdo_fn14 (~Guess@36.68.197.240) (Remote host closed the connection)
[18:06:16] *** Quits: sea-gull_ (~sea-gull@5.57.20.50) (Ping timeout: 480 seconds)
[18:06:19] *** Joins: pdo_fn14 (~Guess@36.68.197.240)
[18:07:17] *** Quits: Nirgal (~nirgal@0001c904.user.oftc.net) (Quit: Leaving.)
[18:10:35] *** Joins: Mechtilde (~Mechtilde@ip-84-119-85-90.unity-media.net)
[18:18:03] *** Quits: deadalnix__ (~deadalnix@196.138.16.93.rev.sfr.net) (Quit: Leaving)
[18:25:42] *** Joins: Pali (~pali@0001caa5.user.oftc.net)
[18:45:30] *** Quits: mppf (~mppf@00021b8f.user.oftc.net) (Quit: Textual IRC Client: www.textualapp.com)
[19:00:01] *** Quits: ansel (~ansel@2003:5b:203b:100:6af7:28ff:fe06:801) (Ping timeout: 480 seconds)
[19:00:11] *** Quits: pdo_fn14 (~Guess@36.68.197.240) (Quit: Leaving)
[19:01:23] *** Joins: rockstorm (~rock@92.190.76.235)
[19:02:39] *** Joins: hclVicky (~chatzilla@cpe-24-90-178-162.nyc.res.rr.com)
[19:05:08] *** Quits: piper (~piper@00012f3a.user.oftc.net) ()
[19:05:17] <nick[0]> bremner: by "package.info should name the info file" do you mean that package.info needs to have that metadata in its headers or that its filesystem name is sufficient? Fortunately upstream has been responsive to this issue, and fixed what is probably the cause--including plaintext of what appears to be info-format headers into texi source.
[19:06:29] <nick[0]> if in the course of completing an ITP, you find that that package depends on a package that is not yet in the archive, do you file an ITP for the second package that your initial ITP depends on?
[19:06:58] *** Joins: wnklmnn (~pascal@p4FEF6DB1.dip0.t-ipconnect.de)
[19:12:57] *** Joins: wCPO (~kristian@2a00:fd00:fff0:7e2c:b57d:291b:3bed:4305)
[19:18:14] *** Joins: wvdakker_ (~wvdakker@52D9E1B8.cm-11-1d.dynamic.ziggo.nl)
[19:23:10] *** Joins: faw (~faw@faw.user.oftc.net)
[19:25:42] *** Joins: hbriese_ (~quassel@58-7-217-162.dyn.iinet.net.au)
[19:28:20] *** Joins: mppf (~mppf@00021b8f.user.oftc.net)
[19:33:57] *** Joins: ThibG (~ThibG@137.220.223.213.rev.sfr.net)
[19:38:08] *** Quits: chomwitt (~chomwitt@athedsl-32261.home.otenet.gr) (Ping timeout: 480 seconds)
[19:39:33] *** Joins: Discovery (~Discovery@94.185.83.195)
[19:43:05] *** Quits: hbriese_ (~quassel@58-7-217-162.dyn.iinet.net.au) (Ping timeout: 480 seconds)
[19:47:35] <spwhitton> nick[0]: to your second question, yes.
[19:47:47] <spwhitton> And the second ITP should blck the first
[19:48:22] <nick[0]> spwhitton: got it, I'll file that second ITP asap. Thanks :-)
[19:51:56] <nick[0]> spwhitton: another issue I'm working on is: In what section[s] of d/rules should I put the logic to remove the provided info doc and rebuild a new one? I think I'm doing it correctly and that the reason the build is failing is another upstream issue with the pandoc->texi->makeinfo generation
[19:52:01] <nick[0]> ssh://git.debian.org/git/pkg-emacsen/pkg/writeroom-mode.git
[19:53:37] *** Joins: piper (~piper@00012f3a.user.oftc.net)
[19:59:36] *** Quits: piper (~piper@00012f3a.user.oftc.net) ()
[20:00:00] *** Joins: mppf_ (~mppf@pool-71-191-176-229.washdc.fios.verizon.net)
[20:00:47] <nick[0]> spwhitton: regarding the second ITP, I'm not familiar enough with our pkg-emacsen naming conventions to choose a package name. Upstream repo name is visual-fill-column, and upstream docs say that it's a minor mode. Does this mean we should use src:visual-fill-column, and visual-fill-column in d/changelog, but generate elpa-visual-fill-column-mode? Or would it be more appropriate to also use
[20:00:53] <nick[0]> src:visual-fill-column-mode?
[20:02:50] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[20:04:43] *** Quits: mppf (~mppf@00021b8f.user.oftc.net) (Ping timeout: 480 seconds)
[20:13:18] *** Quits: sam-d (~sam-d@108-90-40-156.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 480 seconds)
[20:13:27] *** Joins: piper (~piper@00012f3a.user.oftc.net)
[20:16:57] <spwhitton> nick[0]: it explains this on our wiki.
[20:17:23] <spwhitton> nick[0]: w.r.t. deleting the info doc, see src:ebib
[20:17:38] *** Joins: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com)
[20:19:30] *** Quits: lucascastro (~lucas@186.227.186.18) (Remote host closed the connection)
[20:20:47] *** Joins: feathered_person (~feathered@00021472.user.oftc.net)
[20:21:18] *** Quits: Son_Goku (~ngompa@64.251.121.244) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[20:23:53] <nick[0]> spwhitton: ah! MELPA name is authorative ;-) wrt info doc, thank you for the example.
[20:29:08] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[20:40:36] *** Joins: sam-d (~sam-d@108-90-40-156.lightspeed.sntcca.sbcglobal.net)
[20:44:15] *** Quits: Son_Goku (~ngompa@64.251.121.244) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[20:45:12] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[20:46:51] *** Quits: Son_Goku (~ngompa@64.251.121.244) ()
[20:50:51] <bremner> nick[0]: just the filesystem name
[20:51:05] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[20:51:17] *** Quits: jathan (~jathan@000253e1.user.oftc.net) (Read error: Connection reset by peer)
[20:51:41] *** Joins: jathan (~jathan@201.99.106.102)
[20:54:31] *** Quits: jathan (~jathan@201.99.106.102) (Max SendQ exceeded)
[20:54:52] *** Joins: jathan (~jathan@201.99.106.102)
[20:55:44] *** Quits: Son_Goku (~ngompa@64.251.121.244) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[21:03:04] <nick[0]> bremner: got it. Thanks :-)
[21:06:38] *** Joins: jstein (~quassel@xdsl-213-196-243-153.netcologne.de)
[21:09:23] *** Quits: mppf_ (~mppf@pool-71-191-176-229.washdc.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
[21:09:42] *** Joins: mppf (~mppf@00021b8f.user.oftc.net)
[21:10:06] *** Joins: chomwitt (~chomwitt@athedsl-32261.home.otenet.gr)
[21:14:26] *** Quits: Mechtilde (~Mechtilde@ip-84-119-85-90.unity-media.net) (Ping timeout: 480 seconds)
[21:26:19] *** Quits: ThibG (~ThibG@137.220.223.213.rev.sfr.net) (Quit: Leaving)
[21:29:11] *** Quits: wvdakker_ (~wvdakker@52D9E1B8.cm-11-1d.dynamic.ziggo.nl) (Ping timeout: 480 seconds)
[21:29:29] *** Quits: feathered_person (~feathered@00021472.user.oftc.net) (Ping timeout: 480 seconds)
[21:32:03] *** Joins: wvdakker_ (~wvdakker@52D9E1B8.cm-11-1d.dynamic.ziggo.nl)
[21:39:06] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[21:40:56] *** Joins: feathered_person (~feathered@00021472.user.oftc.net)
[21:46:15] <nick[0]> spwhitton: is src:swiper too generic? It builds elpa-ivy, elpa-ivy-hydra, and elpa-swiper. https://github.com/abo-abo/swiper
[21:46:26] *** Quits: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net) (Quit: ghisvail_)
[21:46:29] *** Quits: Son_Goku (~ngompa@64.251.121.244) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[21:47:14] *** Joins: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net)
[21:49:11] <nick[0]> spwhitton: additionally, "swiper" is the historical name, but the documentation now refers to the main package as "Ivy mode"
[21:51:01] <nick[0]> spwhitton: oops, and elpa-counsel too
[21:52:18] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[21:53:20] *** Quits: Son_Goku (~ngompa@64.251.121.244) ()
[21:57:26] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[21:59:50] <spwhitton> nick[0]: I don't think it is worth the overhead of a source package rename.
[22:00:02] <spwhitton> Binary package names are more important as they are user-visible.
[22:08:56] *** Quits: Son_Goku (~ngompa@64.251.121.244) (Quit: My MacBook has gone to sleep. ZZZzzz…)
[22:11:38] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[22:13:23] <nick[0]> spwhitton: okie doke, we'll go with src:swiper!
[22:14:43] *** Quits: Son_Goku (~ngompa@64.251.121.244) ()
[22:15:18] *** Quits: TheSuperGeek (~TheSuperG@ADijon-553-1-15-217.w92-161.abo.wanadoo.fr) (Remote host closed the connection)
[22:16:58] <spwhitton> nick[0]: wait. this is a NEW package?
[22:17:04] <nick[0]> spwhitton: yes :-)
[22:17:26] *** Joins: TheSuperGeek (~TheSuperG@ADijon-553-1-15-217.w92-161.abo.wanadoo.fr)
[22:20:59] *** Joins: Son_Goku (~ngompa@64.251.121.244)
[22:21:29] *** Quits: Son_Goku (~ngompa@64.251.121.244) ()
[22:22:27] *** Joins: gdot (~gdot@p5B22E8DE.dip0.t-ipconnect.de)
[22:24:32] *** Quits: jstein (~quassel@xdsl-213-196-243-153.netcologne.de) (Remote host closed the connection)
[22:25:40] <nick[0]> spwhitton: NEW packages that are dependencies for one of anarcat's RFP. I agree that it doesn't matter when the user can search, apt-get source, and debcheckout the elpa-modules to get the src:package, but I find that this is an interesting/confusing case. (upstream can't change their sourcename, but it seems to make more sense for us to maintain it as src:ivy-mode instead of src:swiper). Of
[22:25:46] <nick[0]> course I'll defer to your experience for whatever you think is best.
[22:29:17] <spwhitton> nick[0]: so the upstream git repo is swiper.git?
[22:30:42] <spwhitton> def. not ivy-mode, as upstream do not use that name anywhere. and there is src:ivy in debian already. I'd suggest src:emacs-ivy
[22:31:25] <spwhitton> src:swiper seems wrong since they are clearly thinking of ivy as the overarching project.
[22:35:40] *** Quits: kart_ (~kartik_@00012fe5.user.oftc.net) (Quit: There is no place like $HOME)
[22:37:23] <nick[0]> spwhitton: Oh wow, you're right "agile dependency manager". The only place I could find an explicit "ivy-mode" is in the manual http://oremacs.com/swiper/. After (require 'ivy) enabling Ivy completion is toggled with M-x ivy-mode
[22:40:04] <nick[0]> spwhitton: I know you value maximal correctness ;-) So src:emacs-ivy, src:ivy-mode, src:emacs-ivy-mode, or something else?
[22:41:25] *** Joins: ghisvail (~ghisvail@2001:630:12:2ffe::250:152)
[22:41:32] *** Joins: Atm0spher1c (~Atm0spher@00020ba3.user.oftc.net)
[22:42:51] *** Quits: wvdakker_ (~wvdakker@52D9E1B8.cm-11-1d.dynamic.ziggo.nl) (Quit: wvdakker_)
[22:46:39] *** Quits: ghisvail_ (~ghisvail@cpc93516-nmal19-2-0-cust251.19-2.cable.virginm.net) (Ping timeout: 480 seconds)
[22:57:39] *** Joins: tpot (~tpot@124-171-96-48.dyn.iinet.net.au)
[22:59:05] *** Quits: Discovery (~Discovery@94.185.83.195) (Read error: Connection reset by peer)
[23:02:01] *** Quits: TheSuperGeek (~TheSuperG@ADijon-553-1-15-217.w92-161.abo.wanadoo.fr) (Quit: Leaving)
[23:08:23] *** Quits: alinefm (~alinefm@32.104.18.243) (Ping timeout: 480 seconds)
[23:08:32] *** Quits: tpot (~tpot@124-171-96-48.dyn.iinet.net.au) (Read error: Connection reset by peer)
[23:08:47] *** Joins: tpot (~tpot@124-171-96-48.dyn.iinet.net.au)
[23:15:42] *** Quits: mnencia (~mnencia@spark.kcore.it) (Quit: Bye.)
[23:15:50] *** Joins: mnencia (~mnencia@spark.kcore.it)
[23:18:31] *** Parts: DavidGH (~DGH@host-78-150-4-219.as13285.net) ()
[23:36:59] *** Joins: Techwolf|Laptop (~Techwolf@dhcp-v059-071.mobile.uci.edu)
[23:37:05] *** Techwolf|Laptop is now known as Techwolf
[23:38:42] *** Quits: gdot (~gdot@p5B22E8DE.dip0.t-ipconnect.de) (Quit: Leaving)
[23:39:32] *** Quits: mppf (~mppf@00021b8f.user.oftc.net) (Quit: Textual IRC Client: www.textualapp.com)
[23:40:22] <spwhitton> nick[0]: I think src:emacs-ivy because the project is called ivy.
[23:40:34] <spwhitton> But this is really bikeshedding.
[23:41:29] *** Quits: feathered_person (~feathered@00021472.user.oftc.net) (Ping timeout: 480 seconds)
[23:41:46] *** Quits: wCPO (~kristian@2a00:fd00:fff0:7e2c:b57d:291b:3bed:4305) (Ping timeout: 480 seconds)
[23:42:56] *** Quits: Brigo (~Brigo@43.10.60.178.dynamic.reverse-mundo-r.com) (Ping timeout: 480 seconds)
[23:45:30] *** Quits: wnklmnn (~pascal@p4FEF6DB1.dip0.t-ipconnect.de) (Quit: Leaving.)
[23:55:23] *** Parts: rockstorm (~rock@92.190.76.235) ()
[23:56:11] *** Joins: CutMeOwnThroat (~Tired@kaos.rz.uni-ulm.de)
[23:56:11] *** Quits: CuteMeOwnThroat (~Tired@0001a0a9.user.oftc.net) (Read error: Connection reset by peer)

5
test/dune Normal file
View File

@ -0,0 +1,5 @@
(test
(name test)
(libraries opazl)
(deps
(file 2017-05-02.log)))

6
test/test.ml Normal file
View File

@ -0,0 +1,6 @@
let _ =
let file = "2017-05-02.log" in
let chan = open_in file in
let msgs = Opazl.Parser.from_channel chan in
assert (List.length msgs = 384) ;
Format.printf "Tests are OK !@."