jdev - 2020-04-13


  1. aj has joined
  2. strar has left
  3. aj has left
  4. strar has joined
  5. debacle has left
  6. aj has joined
  7. aj has left
  8. SouL has joined
  9. DebXWoody has joined
  10. DebXWoody has left
  11. DebXWoody has joined
  12. paul has joined
  13. moparisthebest has left
  14. asterix has joined
  15. kikuchiyo has joined
  16. strar has left
  17. wurstsalat has left
  18. strar has joined
  19. kikuchiyo has left
  20. kikuchiyo has joined
  21. pulkomandy has left
  22. asterix has left
  23. asterix has joined
  24. pulkomandy has joined
  25. wurstsalat has joined
  26. DebXWoody has left
  27. DebXWoody has joined
  28. asterix has left
  29. asterix has joined
  30. asterix has left
  31. asterix has joined
  32. kikuchiyo has left
  33. kikuchiyo has joined
  34. Marc has joined
  35. pulkomandy has left
  36. pulkomandy has joined
  37. sonny has joined
  38. adrien has left
  39. larma has left
  40. DebXWoody has left
  41. DebXWoody has joined
  42. DebXWoody has left
  43. DebXWoody has joined
  44. DebXWoody has left
  45. DebXWoody has joined
  46. larma has joined
  47. asterix has left
  48. asterix has joined
  49. pulkomandy has left
  50. adrien has joined
  51. kikuchiyo has left
  52. pulkomandy has joined
  53. kikuchiyo has joined
  54. adrien has left
  55. asterix has left
  56. adrien has joined
  57. asterix has joined
  58. lovetox has joined
  59. pulkomandy has left
  60. pulkomandy has joined
  61. pulkomandy has left
  62. pulkomandy has joined
  63. asterix has left
  64. asterix has joined
  65. lovetox_ has joined
  66. Zash has left
  67. Zash has joined
  68. pulkomandy has left
  69. pulkomandy has joined
  70. debacle has joined
  71. debacle has left
  72. debacle has joined
  73. Jae has joined
  74. debacle has left
  75. debacle has joined
  76. debacle has left
  77. debacle has joined
  78. debacle has left
  79. debacle has joined
  80. debacle has left
  81. debacle has joined
  82. debacle has left
  83. debacle has joined
  84. debacle has left
  85. serge90 has joined
  86. debacle has joined
  87. asterix has left
  88. asterix has joined
  89. debacle has left
  90. debacle has joined
  91. asterix has left
  92. asterix has joined
  93. pulkomandy has left
  94. goffi has joined
  95. lovetox_ has left
  96. lovetox_ has joined
  97. pulkomandy has joined
  98. lovetox_ has left
  99. lovetox_ has joined
  100. lovetox_ has left
  101. lovetox_ has joined
  102. lovetox_ has left
  103. lovetox_ has joined
  104. lovetox_ has left
  105. lovetox_ has joined
  106. lovetox_ has left
  107. lovetox has left
  108. sonny has left
  109. lovetox has joined
  110. Martin has left
  111. Martin has joined
  112. pulkomandy has left
  113. pulkomandy has joined
  114. sonny has joined
  115. Jae has left
  116. Jae has joined
  117. Jae has left
  118. Jae has joined
  119. serge90 has left
  120. serge90 has joined
  121. serge90 has left
  122. serge90 has joined
  123. serge90 has left
  124. serge90 has joined
  125. Jae has left
  126. serge90 has left
  127. serge90 has joined
  128. Jae has joined
  129. pulkomandy has left
  130. serge90 has left
  131. serge90 has joined
  132. pulkomandy has joined
  133. goffi has left
  134. goffi has joined
  135. serge90 has left
  136. serge90 has joined
  137. serge90 has left
  138. serge90 has joined
  139. serge90 has left
  140. serge90 has joined
  141. adrien has left
  142. serge90 has left
  143. serge90 has joined
  144. Jae has left
  145. moparisthebest has joined
  146. Jae has joined
  147. pulkomandy has left
  148. pulkomandy has joined
  149. adrien has joined
  150. kikuchiyo has left
  151. kikuchiyo has joined
  152. kikuchiyo has left
  153. kikuchiyo has joined
  154. Jae has left
  155. pulkomandy has left
  156. rion has left
  157. rion has joined
  158. pulkomandy has joined
  159. kikuchiyo has left
  160. kikuchiyo has joined
  161. kikuchiyo has left
  162. kikuchiyo has joined
  163. kikuchiyo has left
  164. pulkomandy has left
  165. serge90 has left
  166. serge90 has joined
  167. kikuchiyo has joined
  168. pulkomandy has joined
  169. Jae has joined
  170. kikuchiyo has left
  171. lovetox has left
  172. lovetox has joined
  173. kikuchiyo has joined
  174. strar has left
  175. strar has joined
  176. kikuchiyo has left
  177. Jae has left
  178. Jae has joined
  179. paul has left
  180. kikuchiyo has joined
  181. kikuchiyo has left
  182. kikuchiyo has joined
  183. paul has joined
  184. lovetox_ has joined
  185. lovetox_ has left
  186. lovetox_ has joined
  187. lovetox_ has left
  188. kikuchiyo has left
  189. pulkomandy has left
  190. kikuchiyo has joined
  191. pulkomandy has joined
  192. Guus has left
  193. Guus has joined
  194. Wojtek has joined
  195. martin has joined
  196. martin has left
  197. martin has joined
  198. martin has left
  199. martin has joined
  200. martin has left
  201. martin has joined
  202. martin has left
  203. martin has joined
  204. martin has left
  205. martin has joined
  206. kikuchiyo has left
  207. martin has left
  208. kikuchiyo has joined
  209. martin has joined
  210. martin has left
  211. martin has joined
  212. Jae has left
  213. Jae has joined
  214. martin has left
  215. martin has joined
  216. pulkomandy has left
  217. martin has left
  218. martin has joined
  219. martin has left
  220. martin has joined
  221. pulkomandy has joined
  222. martin has left
  223. martin has joined
  224. martin has left
  225. martin has joined
  226. martin has left
  227. martin has joined
  228. martin has left
  229. kikuchiyo has left
  230. martin has joined
  231. martin has left
  232. martin has joined
  233. Jae has left
  234. martin has left
  235. martin has joined
  236. martin has left
  237. martin has joined
  238. martin has left
  239. martin has joined
  240. Jae has joined
  241. martin has left
  242. martin has joined
  243. martin has left
  244. martin has joined
  245. martin has left
  246. martin has joined
  247. martin has left
  248. martin has joined
  249. paul has left
  250. paul has joined
  251. paul has left
  252. martin has left
  253. martin has joined
  254. Jae has left
  255. martin has left
  256. Jae has joined
  257. martin has joined
  258. martin has left
  259. martin has joined
  260. martin has left
  261. martin has joined
  262. martin has left
  263. martin has joined
  264. amnesia has joined
  265. paul has joined
  266. martin has left
  267. martin has joined
  268. martin has left
  269. pulkomandy has left
  270. martin has joined
  271. martin has left
  272. martin has joined
  273. pulkomandy has joined
  274. martin has left
  275. martin has joined
  276. martin has left
  277. martin has joined
  278. adrien has left
  279. adrien has joined
  280. Wojtek has left
  281. Wojtek has joined
  282. martin has left
  283. Wojtek has left
  284. Wojtek has joined
  285. Wojtek has left
  286. martin has joined
  287. pulkomandy has left
  288. martin has left
  289. pulkomandy has joined
  290. martin has joined
  291. SouL has left
  292. SouL has joined
  293. amnesia has left
  294. pulkomandy has left
  295. Wojtek has joined
  296. lovetox_ has joined
  297. lovetox_ has left
  298. pulkomandy has joined
  299. Jae has left
  300. amnesia has joined
  301. goffi has left
  302. goffi has joined
  303. pulkomandy has left
  304. Jae has joined
  305. pulkomandy has joined
  306. pulkomandy has left
  307. pulkomandy has joined
  308. sonny has left
  309. pulkomandy has left
  310. pulkomandy has joined
  311. alexis has left
  312. paul has left
  313. paul has joined
  314. lovetox so for domainnames normally i use stringprepare
  315. lovetox nameprep
  316. lovetox but in python there is module available that does the idna2008 standard
  317. jonas’ I don’t like where this is going
  318. lovetox can i just switch to that, or is this going to be problematic?
  319. Zash Me neither
  320. jonas’ no, those are different things
  321. pulkomandy has left
  322. lovetox really?
  323. jonas’ you need to do nameprep first, then you can IDNA-encode the name before handing it to the DNS server
  324. jonas’ IDNA is an encoding (unicode -> DNS-compatible ascii bytes)
  325. jonas’ like UTF-8 is an encoding
  326. jonas’ problem is: there are two incompatible versions of idna, and nobody knows which one to use
  327. lovetox im talking about validating domainnames
  328. jonas’ nameprep
  329. lovetox in python there is a idna standard module
  330. jonas’ that’s all validation you need
  331. lovetox it offers a method thats called nameprep
  332. jonas’ there is no idna module in the python standard library
  333. jonas’ according to https://docs.python.org/3/library/
  334. lovetox its a submodule of stringprepare
  335. jonas’ there is no stringprepare module either
  336. lovetox or stringprep dont know
  337. pulkomandy has joined
  338. jonas’ stringprep doesn’t have submodules AFAIK. most certainly not an `idna` submodule
  339. Zash It hasn't been long enough since some user put http://example.com:5280/ as their XMPP server name and everything was fine with that.
  340. jonas’ I’m wondering what you’re talikng about. LTIC python only supported IDNA2003
  341. lovetox ok https://github.com/python/cpython/blob/e42b705188271da108de42b55d9344642170aa2b/Lib/encodings/idna.py
  342. lovetox its a encoding
  343. jonas’ as I said, yes
  344. jonas’ and it’s IDNA2003
  345. jonas’ not 2008
  346. jonas’ again, IDNA* are encodings like UTF-8 are encodings. has nothing to do with validation or normalisation like nameprep does
  347. lovetox yes and it has a method call nameprep
  348. jonas’ neat
  349. jonas’ but it’s not public API
  350. jonas’ seems as if nameprep is a precondition for IDNA2003 and they’re doing that for you
  351. lovetox oh ok so thats what confused me
  352. jonas’ you can do a call to codecs.encode(some_domain, "idna") and if it doesn’t raise UnicodeEncodeError, then you know that it passes nameprep
  353. martin has left
  354. lovetox soo can is witch to nameprep -> IDNA2008
  355. lovetox ?
  356. jonas’ no
  357. jonas’ it’s idna2003
  358. jonas’ not idna2008
  359. jonas’ also note that nameprep has been deprecated in XMPP
  360. lovetox you just said nameprep has nothing to do with idna, its just a precondition
  361. lovetox so what is it now
  362. jonas’ TIL that nameprep is a precondition to IDNA2003.
  363. jonas’ it doesn’t matter tho
  364. jonas’ IDNA2003 does more than just nameprep
  365. jonas’ if you want nameprep, you should do nameprep and not IDNA2003
  366. Zash You actually want IDNA too, nameprep isn't enough to validate an XMPP hostname.
  367. Zash domain. hostpart. thing.
  368. jonas’ Zash, IDNA doesn’t buy you much though: >>> codecs.encode("http://foo:5082", "idna") b'http://foo:5082'
  369. Zash See previously mentioned incident with someone having a HTTP URL in their config
  370. Zash wut
  371. jonas’ yeah.
  372. jonas’ it’s just nameprep plus some mapping of characters
  373. jonas’ plus length restrictions
  374. Zash > print(util.encodings.idna.to_ascii("http://foo:123/")) nil
  375. jonas’ is that IDNA2003 or IDNA2008?
  376. Zash Probably 2008
  377. jonas’ might be the difference
  378. jonas’ python3 only has 2003
  379. Zash haha
  380. jonas’ yeah
  381. Zash but don't python also have ... whatsitcalled, precis?
  382. jonas’ the issue is just open for seven years now: https://bugs.python.org/issue17305
  383. jonas’ Zash, not built-in
  384. jonas’ there’s a third party module
  385. Zash better than nothing
  386. jonas’ true
  387. jonas’ there also seems a third-party IDNA module which does things
  388. jonas’ and then again: I’m not sure XMPP software should make assumptions about what DNS allows.
  389. lovetox : is not allowed in IDNA2008
  390. jonas’ let DNS deal with the weird things we put in the domainpart.
  391. pulkomandy has left
  392. jonas’ it’ll tell us to f* off. encoding (too many) assumptions about how DNS works and what it allows seems like it can only lead to a world of pain
  393. jonas’ normalisation makes sense for comparision and stuff, but beyond that…
  394. Zash `idn -a <<< "http://foo.bar:123/"` spits out its input
  395. Zash and that would be idna2003
  396. lovetox so i still dont see no problem to run a host through idna 2008?
  397. pulkomandy has joined
  398. jonas’ probably ok
  399. jonas’ not sure what that gains you tho
  400. lovetox and if it returns an exception, tell the user its not a valid domain name
  401. jonas’ I hate that type of stuff
  402. amnesia has left
  403. jonas’ that’s the type of stuff which breaks new things
  404. jonas’ you’ll notice that it’s not a valid domain name when you ask the DNS about the name
  405. jonas’ (though, you need to do IDNA2008 or IDNA2003 before you ask the DNS)
  406. jonas’ (but you can’t know which one is right \o/)
  407. Zash The least painful answer for us: IDNA2008 in IDNA2003 compat mode
  408. Zash IDNA2003 library support status: deprecated.
  409. lovetox so what does the xmpp standard say about domainpart
  410. Zash libidn v1 deprecated libin2 dosen't do nameprep & co, can't manage xmpp parts
  411. lovetox no validation at all?
  412. lovetox it does for node and resource part have precis modules
  413. Zash lovetox: "the", there are like 3 of them
  414. Zash 3 versions
  415. lovetox the lastest
  416. Zash idna2003, idna2008, precis
  417. lovetox so wtf it definitly says a domainpart has to conform to idna2008
  418. lovetox so i certainly run it through idna2008 and be finished with it
  419. Zash Latest is https://tools.ietf.org/html/rfc7622
  420. lovetox yes thats what iam refering to
  421. jonas’ I love how we still haven’t figured out how to do unicode release interop
  422. Zash This be the IDNA2008 + PRECIS thing righht?
  423. lovetox yes
  424. lovetox and idna2008 has no nameprep as precondition
  425. jonas’ I dropped that in #debian-til and someone got nerdsniped by that and dug out that the unicode releases also don’t really have guidelines on compatibility
  426. lovetox so actually i can throw out all nameprep stuff
  427. Zash jonas’: No way we're doing that while in the middle of a pandemic, can't afford to waste painkillers and anti-fever meds on this horror
  428. jonas’ :D
  429. jonas’ luckily, the next unicode release will be postponed due to the pandemic, too
  430. Zash Praise Glob
  431. paul has left
  432. amnesia has joined
  433. pulkomandy has left
  434. pulkomandy has joined
  435. strar has left
  436. strar has joined
  437. pep. has left
  438. strar has left
  439. paul has joined
  440. strar has joined
  441. pep. has joined
  442. flow lovetox> so i certainly run it through idna2008 and be finished with it then you potentially disallow ipv4/ipv6 addresses in the domainpart, which are allowed
  443. lovetox after i check if its an ip :D
  444. flow lovetox, bonus points for allowing ipv6 scope IDs
  445. lovetox i do
  446. flow then here are your bonus points
  447. lovetox but only if you include it within []
  448. flow hands lovetox 13.37 bonus points
  449. flow lovetox, whatever the IP-literal rule of RFC 6874 allows
  450. Zash has left
  451. Zash has joined
  452. lovetox has left
  453. Jae has left
  454. Jae has joined
  455. wurstsalat has left
  456. wurstsalat has joined
  457. Jae has left
  458. Jae has joined
  459. DebXWoody has left
  460. asterix has left
  461. Jae has left
  462. Jae has joined
  463. asterix has joined
  464. Marc has left
  465. Marc has joined
  466. asterix has left
  467. alexis has joined
  468. Marc has left
  469. Marc has joined
  470. moparisthebest has left
  471. Jae has left
  472. paul has left
  473. paul has joined
  474. goffi has left
  475. alexis has left
  476. wurstsalat has left
  477. SouL has left
  478. alexis has joined
  479. Marc has left
  480. paul has left