Перейти к основному содержимому
Версия: v2 (текущая)

Opera

Инструкция по установке расширения PanDev Metrics в браузер Opera.

Установка из Chrome Web Store

Opera поддерживает расширения Chrome. Установите напрямую из Chrome Web Store:

Установить PanDev Metrics из Chrome Web Store

  1. Перейдите по ссылке выше в Chrome Web Store
  2. Нажмите Добавить в Opera
  3. Подтвердите нажатием Добавить расширение
подсказка

Если появится запрос об установке расширений Chrome, нажмите Установить расширение для подтверждения.

Иконка расширения появится в панели инструментов браузера.


Настройка

После установки настройте расширение с параметрами подключения:

  1. Нажмите на иконку расширения PanDev Metrics в панели инструментов
  2. Нажмите Настройки или иконку шестерёнки
  3. Введите параметры подключения:

SaaS (корпоративный аккаунт)

ПараметрЗначение
Server URLhttps://metrics-cloud.pandev.io
Логин компанииИдентификатор вашей компании
ЛогинВаш рабочий логин
ПарольВаш пароль

SaaS (персональный аккаунт)

ПараметрЗначение
Server URLhttps://metrics-cloud.pandev.io
Логин компанииоставьте пустым
ЛогинВаш email
ПарольВаш пароль

On-Premise

ПараметрЗначение
Server URLURL вашего сервера (например, https://pandev.company.local)
Логин компанииоставьте пустым
ЛогинВаш рабочий логин
ПарольВаш пароль

Использование

После настройки расширение работает автоматически:

  • Отслеживает активность в браузере в фоновом режиме
  • Категоризирует посещённые сайты (документация, исследования, инструменты)
  • Отправляет данные на сервер PanDev Metrics
  • Метрики появляются в дашборде в течение нескольких минут

Устранение неполадок

Иконка расширения не видна?

  • Нажмите на иконку куба (Расширения) в панели инструментов
  • Закрепите расширение PanDev Metrics

Расширение не работает?

  • Перейдите на opera://extensions/ и проверьте, что оно включено
  • Попробуйте удалить и переустановить расширение