So is this a bug or what? Diego
On Thu, Feb 11, 2016 at 6:39 PM, Diego Viola <[email protected]> wrote: > Sorry, not just music player, but video/audio player. > > Diego > > On Thu, Feb 11, 2016 at 6:38 PM, Diego Viola <[email protected]> wrote: >> Hi Bram, >> >> mpv is a music player (mplayer fork), see https://mpv.io/ >> >> I don't need to play music in vim, I just wanted to try the job >> functionality and see how it works, and this was the first idea that >> came to my mind. :-) >> >> I tried the command you suggested and vim is not slow when I use >> </dev/null >/dev/null as part of the mpv command. >> >> Diego >> >> On Thu, Feb 11, 2016 at 6:25 AM, Bram Moolenaar <[email protected]> wrote: >>> >>> Diego Viola wrote: >>> >>>> I read the documentation for job_start() and it's clear to me what it >>>> does, so I tried this: >>>> >>>> let job = job_start(["/bin/sh", "-c", "mpv --really-quiet >>>> /path/to/foo.ogg"]) >>>> >>>> But everything still gets too slow even though the music is playing. >>>> >>>> Am I missing something? >>> >>> I don't know what mpv does or how it manages to make Vim slow down. >>> You could try: >>> >>> let job = job_start(["/bin/sh", "-c", "mpv --really-quiet /path/to/foo.ogg >>> </dev/null >/dev/null"]) >>> >>> Not sure why you would want to run a job to play music. Or what foo.ogg >>> sounds like. >>> >>> -- >>> Your fault: core dumped >>> >>> /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ >>> /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ >>> \\\ an exciting new programming language -- http://www.Zimbu.org /// >>> \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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.
