19:04:22 #startmeeting Development IRC meeting 21 August 2019 19:04:22 Meeting started Wed Aug 21 19:04:22 2019 UTC. The chair is kidclamp. Information about MeetBot at http://wiki.debian.org/MeetBot. 19:04:22 Useful Commands: #action #agreed #help #info #idea #link #topic #startvote. 19:04:22 The meeting name has been set to 'development_irc_meeting_21_august_2019' 19:04:28 #topic Introductions 19:04:35 #info Nick Clemens, ByWater Solutions 19:04:45 #info Jon Knight, Loughborough University 19:04:55 #link https://wiki.koha-community.org/wiki/Development_IRC_meeting_21_August_2019 Agenda 19:05:22 #info David Nind, New Zealand 19:06:49 sparse crowd 19:07:06 and a blank agenda 19:07:20 "Select" I like to think. 19:07:32 #info Liz Rea 19:07:34 I will sugest waiting a few and skipping if no new comers? 19:08:03 #chair wizzyrea 19:08:03 Current chairs: kidclamp wizzyrea 19:08:06 sounds good to me! 19:08:28 Fine. Only thing I want to talk about was kohadevbox resizing under AOB. 19:08:30 You are CHEEKY 19:08:40 AOB? 19:08:47 Any Other Business 19:09:01 we can all still disucsss :-) 19:09:05 even if not meeting 19:09:17 Er, or "general discussion" according the agenda. :-) 19:11:26 so what about the devbox question? 19:12:03 no this isn't enough people to have a meeting I reckon 19:12:27 #infoo Meeting tabled due ot low attendance 19:12:32 #info Meeting tabled due ot low attendance 19:12:41 kidclamp++ 19:12:44 agree! 19:12:46 #topic Set time of next meeting 19:13:06 September 4? 13 UTC? 19:13:06 Well, I have repeatedly broken kohadevbox's by running out of disc space whilst doing "git pull" to update them. I've started to work on a Perl script to resize the VM, but wonder if others had same problem. 19:13:17 right 19:13:22 yes 19:13:30 my way round it is to use SYNC_REPO 19:13:40 don't keep the repo inside the devbox 19:14:01 bonus you don't lose anything when you inevitably destroy your vagrant box for one reason or another 19:14:13 kidclamp++ 19:14:15 Ah, right. Is that recommended in the docs? Must have missed it. 19:14:23 I don't know if it's recommended 19:14:30 but it is listed as an option there 19:14:37 I mean *I* recommend it 19:14:42 :-) 19:14:44 it could probably *BE* a recommendation 19:14:55 :D 19:15:06 #info Next meeting: 4 September 2019, 13 UTC 19:15:11 #endmeeting