File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -25,13 +25,29 @@ jobs:
2525 git config user.name "Tabnine CLI Agent"
2626 git config user.email "TabnineCLI@tabnine.com"
2727
28- - name : Configure tabnine auth
28+ - name : Configure Tabnine Auth & Settings
29+ env :
30+ TABNINE_KEY : ${{ secrets.TABNINE_KEY }}
2931 run : |
3032 mkdir -p ~/.tabnine/agent
31- cat << 'EOF' > ~/.tabnine/agent/tabnine_creds.json
32- ${{ secrets.TABNINE_KEY }}
33+
34+ # Write Settings
35+ cat << 'EOF' > ~/.tabnine/agent/settings.json
36+ {
37+ "general": {
38+ "tabnineHost": "https://console.tabnine.com"
39+ },
40+ "security": {
41+ "auth": {
42+ "selectedType": "tabnine-personal"
43+ }
44+ }
45+ }
3346 EOF
3447
48+ # Write Credentials using env var (safer)
49+ echo "$TABNINE_KEY" > ~/.tabnine/agent/tabnine_creds.json
50+
3551 - name : Code Review
3652 env :
3753 GH_TOKEN : ${{ github.token }}
You can’t perform that action at this time.
0 commit comments