I've been having a bit of trouble getting my init file to work right, and suspect it may have something to do with the name of the file:
My org mode files are named mumble.org.txt, and my beorg file extension is set to .txt. Should the init file still just be init.org, or should it be init.txt or init.org.txt instead? I'm sure it's just user error, but the only times I've gotten it to work I've had two or all three of these (all just copies of one another), which seems unlikely to be necessary.
And a related question: how do I get a changed init file read? Is it sufficient to do the "press the home button (or whatever it's called) twice, and then slide the app up off the top of the screen" thing to kill the app, and start it again? Should I reboot my phone? Something else?
Don Morrison
I've been having a bit of trouble getting my init file to work right, and suspect it may have something to do with the name of the file:
My org mode files are named mumble.org.txt, and my beorg file extension is set to .txt. Should the init file still just be init.org, or should it be init.txt or init.org.txt instead? I'm sure it's just user error, but the only times I've gotten it to work I've had two or all three of these (all just copies of one another), which seems unlikely to be necessary.
And a related question: how do I get a changed init file read? Is it sufficient to do the "press the home button (or whatever it's called) twice, and then slide the app up off the top of the screen" thing to kill the app, and start it again? Should I reboot my phone? Something else?