Skip to content

Bash source supports $PATH resolution #1366

@bnjmnjrk

Description

@bnjmnjrk

Description

Bash allows sourcing scripts by name via $PATH
reference: https://man7.org/linux/man-pages/man1/bash.1.html keyword sourcepath

If the sourcepath option to the shopt builtin command turned off, . does not search PATH.

Current behavior

When clicking on a sourced script name that is resolved via $PATH, the language server reports:
09:40:06.164 WARNING ⛔️ file:///hello.bash line 3: failed to resolve path

Expected behavior

Attempt resolution via $PATH

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions