Repository navigation
Expand file tree
/
Copy patherror_patterns.json
More file actions
110 lines (110 loc) · 5.19 KB
/
Copy patherror_patterns.json
File metadata and controls
110 lines (110 loc) · 5.19 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
[
{
"match": "permission denied (publickey)",
"hint": "The server didn't accept your SSH key. For GitHub: create a key with 'ssh-keygen -t ed25519', then add the contents of ~/.ssh/id_ed25519.pub under GitHub Settings > SSH keys."
},
{
"match": "externally-managed-environment",
"hint": "Your system's Python is managed by your distro, so pip won't install into it. Make a virtual environment instead: 'python3 -m venv .venv', then '. .venv/bin/activate', then pip install again. For command-line apps, 'pipx install <name>' also works."
},
{
"match": "could not open lock file",
"hint": "Installing or updating software needs admin rights. Put sudo in front, e.g. 'sudo apt install <name>'."
},
{
"match": "are you root?",
"hint": "This needs admin rights. Put sudo in front of the command."
},
{
"match": "unable to locate package",
"hint": "apt doesn't know that package name. Run 'sudo apt update' to refresh the package list, check the spelling, or search with 'apt search <name>'."
},
{
"match": "dpkg was interrupted",
"hint": "An earlier install got cut off. Fix it with: sudo dpkg --configure -a"
},
{
"match": "is not in the sudoers file",
"hint": "Your account isn't allowed to use sudo. Ask whoever manages this computer for admin rights."
},
{
"match": "not a git repository",
"hint": "This folder isn't a git project. cd into your project folder first, or run 'git init' to start one here."
},
{
"match": "could not resolve host",
"hint": "Couldn't reach that address. Check your internet connection ('ping -c 3 google.com') and the spelling of the address."
},
{
"match": "temporary failure in name resolution",
"hint": "Couldn't look up that address, which usually means no internet connection. Check your Wi-Fi or network, then try 'ping -c 3 google.com'."
},
{
"match": "network is unreachable",
"hint": "Your computer isn't connected to a network right now. Check your Wi-Fi or cable."
},
{
"match": "permission denied",
"hint": "You don't have permission to do this. If it's a file, try 'chmod' to change its permissions, or run the command with 'sudo' if it truly needs admin rights (but be careful with sudo)."
},
{
"match": "no such file or directory",
"hint": "The file or path doesn't exist, or you mistyped it. Try 'ls' in the current directory to see what's actually there, or 'pwd' to confirm where you are."
},
{
"match": "command not found",
"hint": "The shell doesn't recognize that as a command. Check for typos, or the program may not be installed yet (try installing it with your package manager, e.g. 'sudo apt install <name>')."
},
{
"match": "is a directory",
"hint": "You tried to do something to a directory that only works on files (e.g. 'cat' or 'rm' without -r). Add -r if you meant to include the whole directory, or target a file inside it instead."
},
{
"match": "not a directory",
"hint": "You tried to 'cd' into or treat something as a directory, but it's actually a file."
},
{
"match": "file exists",
"hint": "Something already exists at that path. If you're moving/copying, either remove the existing file first or choose a different destination name."
},
{
"match": "directory not empty",
"hint": "'rmdir' only removes empty directories. If you want to delete a directory and everything inside it, use 'rm -r' instead (double-check the path first - this is permanent)."
},
{
"match": "operation not permitted",
"hint": "The system is blocking this action, often due to ownership or system-level protections. 'sudo' might help if you're sure this is safe to do."
},
{
"match": "too many arguments",
"hint": "You gave the command more inputs than it expects. Check if a filename with spaces needs quotes around it, e.g. \"my file.txt\" instead of my file.txt."
},
{
"match": "syntax error",
"hint": "The shell couldn't parse what you typed - often a missing quote, bracket, or semicolon. Check for unmatched quotes or parentheses."
},
{
"match": "cannot execute binary file",
"hint": "This file isn't meant to be run directly as a command on this system (wrong architecture or not actually a program). Check what the file actually is with the 'file' command."
},
{
"match": "text file busy",
"hint": "Something else currently has this file open/running. Close other programs using it, or wait and try again."
},
{
"match": "address already in use",
"hint": "Something else is already using that network port. Stop the other process using it, or configure your program to use a different port."
},
{
"match": "connection refused",
"hint": "Nothing is listening on the address/port you tried to connect to. Confirm the target service is running and the address/port are correct."
},
{
"match": "no space left on device",
"hint": "Your disk is full. Run 'df -h' to see usage, and 'du -sh *' in a directory to find what's taking up space."
},
{
"match": "read-only file system",
"hint": "The filesystem (or this specific mount) doesn't allow writes right now. It may need to be remounted read-write, or you may not have the right permissions."
}
]