All Questions
Tagged with configuration shell
30
questions
1
vote
0
answers
874
views
Merge set x (xtrace) and v (verbose)
How to merge set -x and set -v in ash? (or set -v with a prefix)
In other words, echo back command upon running.
The DEBUG signal does not exist in ash: DEBUG: invalid signal specification.
set -x
$ ...
- 438
6
votes
2
answers
5k
views
How to pin a package version with `nix-shell`?
From what I understand, I can use a given version of Nix packages using the -I flag. But I would like to know if it is possible within a single shell.nix conf to have something like:
git v2.1.2
htop ...
- 61
3
votes
1
answer
177
views
git: inconsistent behavior when using filter to strip comments
I am using filter to remove comments before committing config files in git:
$ cat .git/config
[filter "stripcomments"]
clean = "stripcomments"
$ cat .git/info/attributes
/etc/* ...
- 558
2
votes
1
answer
2k
views
setopt does not work in .zshrc. Can someone tell me why?
This is what I have in ~/.zshrc (actually a file sourced from my ~/.zshrc, see below).
#CHANGING DIRECTORIES
setopt CD_SILENT
setopt CDABLE_VARS
setopt AUTO_CD
#COMPLETION
setopt recexact autolist ...
- 61
2
votes
2
answers
197
views
Fish shell reports "math: Error: Missing operator" on tab completion
I noticed the error this morning, but I don't think I have changed anything last night, so I am very confused right now. Perhaps I updated some utilities on my system and it somehow broke the back ...
- 401
2
votes
1
answer
720
views
Create parent directories when using shell redirect
In Zsh, the following fails:
$ echo hi > /tmp/this/path/does/not/exist/out.txt
zsh: no such file or directory: /tmp/this/path/does/not/exist/out.txt
Obviously the problem is that > cannot ...
- 945
1
vote
2
answers
2k
views
UEFI Grub not finding config file
I need to boot Windows and two other Linux distors using Grub. So, I have installed Grub on UEFI partition with a dedicated partition for storing the files used by Grub using the following command.
...
- 11
0
votes
1
answer
128
views
Neomutt Uses the Wrong Shell Even After Setting the Shell Variable
None of my aliases are working in neomutt. This prevents me from editing files in my text editor neovim. If I try I get an error sh: 1: nvim not fount indicating that the shell being used here is sh . ...
- 41
2
votes
2
answers
3k
views
Why can't I change my PS1 in my bash login shell?
When I ssh into this one remote system I'm unable to modify PS1. However, while I'm ssh'd in, if I start a non-login Bash, then I'm able to modify PS1. Here's my console output:
dev ~ ❯ bash --login
...
1
vote
1
answer
998
views
Dash non-interactive non-login rc file
Does dash have a non-interactive non-login rc file? I've read the man page, which recommends .profile for login shells and $ENV environment variable for interactive shells.
Is there anything that ...
- 563
0
votes
0
answers
7k
views
SSH: How to disable strict host key checking, but still be warned about new devices
I'm working for a company that involves sshing into several different devices with the same IP address and hostname, but unique private keys for ssh. What I'm trying to figure out is a way to disable ...
- 103
1
vote
1
answer
518
views
Automatically print number of lines of command line output
In my fish shell, I am using fish command timer to automatically show the duration of each command after it has been executed. This is a neat feature, which I recommend.
Now I want something similar ...
- 132
1
vote
2
answers
6k
views
how to tell mpv to NOT play subtitles which may be embedded in a media file.
While I have asked quite a few questions about how to run subtitles in movies, this time though it's the opposite, how do I tell mpv not to load subtitle file while playing a media file. The media ...
- 12.5k
3
votes
1
answer
677
views
Redirection to a globbed file name fails
I use Bash 4.3.48(1) in Ubuntu 16.04 (xenial) with a LEMP stack.
I try to create a php.ini overridings file in a version agnostic way with printf.
1) The version agnostic operation fails:
printf "[...
1
vote
1
answer
25k
views
what's the difference between /bin/zsh and /usr/bin/zsh? [duplicate]
I saw the following in /etc/shells -
% cat /etc/shells
# /etc/shells: valid login shells
/bin/sh
/bin/dash
/bin/bash
/bin/rbash
/bin/zsh
/usr/bin/zsh
I want to know if there is a difference ...
- 12.5k