2017-11-14 10:47 GMT+03:00 Christian Brabandt <[email protected]>: > > On Mo, 13 Nov 2017, Bram Moolenaar wrote: > >> >> Christian wrote: >> >> > On Mo, 13 Nov 2017, Bram Moolenaar wrote: >> > >> > > I didn't receive a proper patch, only a git binary diff. >> > > Can you send me the file as an attachment? >> > >> > git apply should be able to apply it nevertheless. >> >> error: git diff header lacks filename information when removing 1 leading >> pathname component (line 14) > > That is surprising. I attach the file here. Hopefully, sending it by > mail does not mangle it. > >> > However the file is >> > this one: >> > https://github.com/vim/vim/issues/2253 >> >> Hmm, is that just one zero character? > > Yeah, that interesting part is that it is a ucs4-le file encoding, else > I would have written the test to create a sample file, but did not know > how to do it for ucs4-le.
`writefile(, , 'b')` has no problems with writing any kind of binary data. To get a list for it given that you have an existing file serialize `readfile(, 'b')` output. E.g. `writefile(["\n\n\n\n"], 'z4.bin', 'b')` will create a file with just four zero bytes inside. > > > Christian > -- > Mißtrauen ist ein Zeichen von Schwäche. > -- Mahatma Gandhi > > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
