Update push
This commit is contained in:
parent
d23fc31b0c
commit
f3c11ab10d
1 changed files with 1 additions and 1 deletions
2
push
2
push
|
@ -1,7 +1,7 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
|
||||||
# Path to the file containing the list of repositories
|
# Path to the file containing the list of repositories
|
||||||
REPOS_FILE="$HOME/repos.txt"
|
REPOS_FILE="$HOME/.repos.txt"
|
||||||
|
|
||||||
# Check if the repos file exists
|
# Check if the repos file exists
|
||||||
if [ ! -f "$REPOS_FILE" ]; then
|
if [ ! -f "$REPOS_FILE" ]; then
|
||||||
|
|
Loading…
Add table
Reference in a new issue