New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
adding variable containing current shell pid #1202
Comments
You are looking for the |
Perhaps it could be possible to mention |
The point is that $$ is very common in most other shells. So I believe that it should be expanded like %self is. Using $$ lowers the fish learning effort. |
One of the problems with %self is that it is not expanded in a string. You can not create file file.%self |
You can create such a file using I don't really use |
The lack of expansion in a string is #1074. |
I'm in agreement with @cljacobs. I don't think we should introduce |
It's also very easy for any user to just write |
That |
I would add that using |
I'm removing the "RFC" label. This should be implemented. I have no objections to using |
Okay. What should the variable be called? Note that
I like the latter two the most since they best explain what the variable is. |
I think the name should be lowercase, considering shell PID is not an exported variable (for consistency). |
For the historic record, the new vars got called |
Hello all,
I am missing the $$ special variable to denote the current shell's pid (see http://hyperpolyglot.org/unix-shells giving a nice table ...); has it been discussed and rejected? What files should I look in to consider adding it?
The text was updated successfully, but these errors were encountered: