Minor changes

2023-10-27 10:12:00 +02:00 · 2023-10-27 10:12:00 +02:00 · e7c411ec77
commit e7c411ec77
parent 0332c28b85
2 changed files with 2 additions and 1 deletions
--- a/init.vim
+++ b/init.vim
@ -961,6 +961,7 @@ augroup END
        \         "\\lc": "\\operatorname*{lc}",
        \         "\\quo": "\\operatorname*{quo}",
        \         "\\rem": "\\operatorname*{rem}",
+        \         "\\conv": "\\operatorname*{conv}",
        \     },
        \ },
        \ 'uml': {},
@ -1049,7 +1050,7 @@ augroup END

 " Julia {{
    augroup julia
-        au FileType julia nnoremap <buffer> <Leader>ll :w <CR> :!julia %:p<CR>
+        au FileType julia nnoremap <buffer> <Leader>ll :w <CR> :!time julia %:p<CR>
    augroup END
 " }}

--- a/install_configfiles.sh
+++ b/install_configfiles.sh