Patch 8.0.1308
Problem: The "Reading from stdin" message may be undesired and there is no
easy way to skip it.
Solution: Don't show the message with --not-a-term was used.
Files: src/fileio.c
*** ../vim-8.0.1307/src/fileio.c 2017-11-17 21:35:19.987714195 +0100
--- src/fileio.c 2017-11-18 14:51:23.523304947 +0100
***************
*** 849,865 ****
*/
if (read_stdin)
{
#ifndef ALWAYS_USE_GUI
! mch_msg(_("Vim: Reading from stdin...\n"));
#endif
#ifdef FEAT_GUI
! /* Also write a message in the GUI window, if there is one. */
! if (gui.in_use && !gui.dying && !gui.starting)
! {
! p = (char_u *)_("Reading from stdin...");
! gui_write(p, (int)STRLEN(p));
! }
#endif
}
else if (!read_buffer)
filemess(curbuf, sfname, (char_u *)"", 0);
--- 849,868 ----
*/
if (read_stdin)
{
+ if (!is_not_a_term())
+ {
#ifndef ALWAYS_USE_GUI
! mch_msg(_("Vim: Reading from stdin...\n"));
#endif
#ifdef FEAT_GUI
! /* Also write a message in the GUI window, if there is one. */
! if (gui.in_use && !gui.dying && !gui.starting)
! {
! p = (char_u *)_("Reading from stdin...");
! gui_write(p, (int)STRLEN(p));
! }
#endif
+ }
}
else if (!read_buffer)
filemess(curbuf, sfname, (char_u *)"", 0);
*** ../vim-8.0.1307/src/version.c 2017-11-17 21:35:19.991714135 +0100
--- src/version.c 2017-11-18 14:46:53.747316447 +0100
***************
*** 768,769 ****
--- 768,771 ----
{ /* Add new patch number below this line */
+ /**/
+ 1308,
/**/
--
A)bort, R)etry, B)ang it with a large hammer
/// 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.
