mirror of
https://github.com/mudler/LocalAI.git
synced 2024-12-23 14:32:25 +00:00
90cacb9692
* add api key to existing app tests, add preliminary auth test Signed-off-by: Dave Lee <dave@gray101.com> * small fix, run test Signed-off-by: Dave Lee <dave@gray101.com> * status on non-opaque Signed-off-by: Dave Lee <dave@gray101.com> * tweak auth error Signed-off-by: Dave Lee <dave@gray101.com> * exp Signed-off-by: Dave Lee <dave@gray101.com> * quick fix on real laptop Signed-off-by: Dave Lee <dave@gray101.com> * add downloader version that allows providing an auth header Signed-off-by: Dave Lee <dave@gray101.com> * stash some devcontainer fixes during testing Signed-off-by: Dave Lee <dave@gray101.com> * s2 Signed-off-by: Dave Lee <dave@gray101.com> * s Signed-off-by: Dave Lee <dave@gray101.com> * done with experiment Signed-off-by: Dave Lee <dave@gray101.com> * done with experiment Signed-off-by: Dave Lee <dave@gray101.com> * after merge fix Signed-off-by: Dave Lee <dave@gray101.com> * rename and fix Signed-off-by: Dave Lee <dave@gray101.com> --------- Signed-off-by: Dave Lee <dave@gray101.com> Co-authored-by: Ettore Di Giacinto <mudler@users.noreply.github.com>
56 lines
1.5 KiB
Bash
56 lines
1.5 KiB
Bash
#!/bin/bash
|
|
|
|
# This file contains some really simple functions that are useful when building up customization scripts.
|
|
|
|
|
|
# Checks if the git config has a user registered - and sets it up if not.
|
|
#
|
|
# Param 1: name
|
|
# Param 2: email
|
|
#
|
|
config_user() {
|
|
echo "Configuring git for $1 <$2>"
|
|
local gcn=$(git config --global user.name)
|
|
if [ -z "${gcn}" ]; then
|
|
echo "Setting up git user / remote"
|
|
git config --global user.name "$1"
|
|
git config --global user.email "$2"
|
|
|
|
fi
|
|
}
|
|
|
|
# Checks if the git remote is configured - and sets it up if not. Fetches either way.
|
|
#
|
|
# Param 1: remote name
|
|
# Param 2: remote url
|
|
#
|
|
config_remote() {
|
|
echo "Adding git remote and fetching $2 as $1"
|
|
local gr=$(git remote -v | grep $1)
|
|
if [ -z "${gr}" ]; then
|
|
git remote add $1 $2
|
|
fi
|
|
git fetch $1
|
|
}
|
|
|
|
# Setup special .ssh files
|
|
# Prints out lines of text to make things pretty
|
|
# Param 1: bash array, filenames relative to the customization directory that should be copied to ~/.ssh
|
|
setup_ssh() {
|
|
echo "starting ~/.ssh directory setup..."
|
|
mkdir -p "${HOME}.ssh"
|
|
chmod 0700 "${HOME}/.ssh"
|
|
echo "-----"
|
|
local files=("$@")
|
|
for file in "${files[@]}" ; do
|
|
local cfile="/devcontainer-customization/${file}"
|
|
local hfile="${HOME}/.ssh/${file}"
|
|
if [ ! -f "${hfile}" ]; then
|
|
echo "copying \"${file}\""
|
|
cp "${cfile}" "${hfile}"
|
|
chmod 600 "${hfile}"
|
|
fi
|
|
done
|
|
echo "~/.ssh directory setup complete!"
|
|
}
|