Tuesday, June 18, 2013

Re: Macvim seems not to be reading my .vimrc

On Jun 18, 2013, at 10:28 AM, Ben Fritz <fritzophrenic@gmail.com> wrote:

> I don't know what 'sessions' is, but I assume it automatically saves and loads a Vim "session" file via :mksession automatically when exiting and entering Vim.
>
> Try removing "options" from your 'sessionoptions' option in your .vimrc. It is there by default and a major annoyance to me. You might tweak 'sessionoptions' to make sure other things you don't want restored blindly are also not included.

I don't have anything in my .vimrc related to 'sessions' except a call for it in the 'bundle' configuration.

> Another note, and I almost suggested this, now I wish I had: if an option is set differently than you expect, you can do ":verbose set optionname?" to see not only what it is set to, but also what file set it to that value. This would have found the culprit more quickly I think.

Thanks, for this, Ben. It identified the file for me in which the .gvimrc setting is getting reset. It's the file in which 'sessions' saves the session. I basically have one session. Just use it over and over. When it's loaded it resets the font to whatever it was when the session was first saved.

I created a new session. It now has the font setting as set by my .gvimrc. Problem solved.

Thanks for your help, especially that last suggestion.

Sincerely,
------------------------------------------------------------------------------------------
Eric Weir
Decatur, GA USA
eeweir@bellsouth.net

"What is man without the beasts? If all the beasts were gone,
men would die from a great loneliness of spirit."

- Chief Seattle






--
--
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

No comments:

Post a Comment