Oct
2
revised vim NERDTree | Auto fresh the directory pane
better check
Oct
2
comment vim NERDTree | Auto fresh the directory pane
@the-gripmaster The .vimrc lines are closer to working. The script number is found using :scriptnames and looking up NERD_Tree.vim.
Oct
1
revised vim NERDTree | Auto fresh the directory pane
better script, still not quite there.
Oct
1
revised vim NERDTree | Auto fresh the directory pane
closer but still not working
Sep
29
revised vim NERDTree | Auto fresh the directory pane
bug fix
Sep
29
comment vim NERDTree | Auto fresh the directory pane
@the-gripmaster not an editor command? I fixed it with the g: prefix.
Sep
24
awarded  Autobiographer
Sep
22
comment vim NERDTree | Auto fresh the directory pane
Depending on how the git checkout is done, the checkout might be used to initiate a refresh.
Sep
21
revised vim NERDTree | Auto fresh the directory pane
updated solution
Sep
19
comment How to fix the “Setting locale failed” error while installing vim?
sounds promising
Sep
16
revised vim NERDTree | Auto fresh the directory pane
grammar, clarification
Sep
16
answered vim NERDTree | Auto fresh the directory pane
Aug
29
awarded  Commentator
Aug
29
comment Ralink RT3290 wifi drops every 5 minutes
If it works when plugged in (ubuntuforums.org/showthread.php?t=1597874) but not when on battery the power saving feature may be causing disconnects.
Aug
29
comment vi issue in SSH TTYs to Ubuntu 14.04.1 LTS
what does file /etc/alternatives/vi say? What is in the vimrc? Is there anything about set encoding=utf-8?
Aug
29
comment Another user's home folder deleted while using adduser?
The file /etc/adduser.conf of Ubuntu 14.04 has the following commented line. #NAME_REGEX="^[a-z][-a-z0-9_]*\$" So a username must start with a character and may contain dashes, numbers and underscores. No help unless it was edited. Perhaps some other program somewhere did something like cp --remove-destination /etc/skel /home/user_1
Aug
28
answered go back to vim's default color
Aug
26
comment How to make user home folder after account creation?
@iridescent Thanks for your testing. The hint about the shell is helpful. I think your description of the two cases is almost complete but unintentionally misleads a bit by describing "the only way" at the end. Indeed, the home directory must be specified in /etc/passwd. This is independent of /home having a <username> directory on disk, preventing mkhomedir_helper from completing. A quick rm -rf /home/<username> should allow mkhomedir_helper <username> to complete the tasks manually performed by the @Zenexer script below.
Aug
26
comment How to make user home folder after account creation?
I think that would result in a different userid and groupid which may or may not be a problem for you.
Aug
26
comment Problem with adduser on new install
Thanks @muru for this precise answer. Also after reading your suggestion, looking in /etc/sudoers on my 12.04 system the default group "admin" is for gaining root privileges while the default group "sudo" is more powerful and can execute any command. It should be similar on 14.04 and can easily be checked.