Update settings for REPL