- install a .desktop file, so that a firefox entry will appear in menus
like gnome's. - tweak PLIST (from kurt@) requested by fkr@ feedback and ok kurt@ martynas@
This commit is contained in:
jasper
parent
9be62e65fb
commit
a3cb2d5bf3
@ -1,4 +1,4 @@
|
||||
# $OpenBSD: Makefile,v 1.86 2007/11/28 20:22:25 martynas Exp $
|
||||
# $OpenBSD: Makefile,v 1.87 2007/12/19 14:47:50 jasper Exp $
|
||||
|
||||
SHARED_ONLY= Yes
|
||||
ONLY_FOR_ARCHS= alpha amd64 arm i386 powerpc sparc sparc64
|
||||
@ -8,8 +8,8 @@ COMMENT-devel= devel files for Gecko
|
||||
|
||||
VER= 2.0.0.10
|
||||
DISTNAME= mozilla
|
||||
PKGNAME= mozilla-firefox-${VER}
|
||||
PKGNAME-main= mozilla-firefox-${VER}
|
||||
PKGNAME= mozilla-firefox-${VER}p0
|
||||
PKGNAME-main= mozilla-firefox-${VER}p0
|
||||
PKGNAME-devel= mozilla-firefox-devel-${VER}
|
||||
SO_VERSION= 19.0
|
||||
# NOTE: Must bump minor version if any shlib's are removed from the
|
||||
@ -46,7 +46,8 @@ MASTER_SITES= http://releases.mozilla.org/pub/mozilla.org/firefox/releases/${VER
|
||||
DISTFILES= firefox-${VER}-source.tar.bz2
|
||||
|
||||
MODULES= devel/gettext
|
||||
RUN_DEPENDS= :esound-*:audio/esound
|
||||
RUN_DEPENDS= :esound-*:audio/esound \
|
||||
:desktop-file-utils-*:desktop-file-utils
|
||||
BUILD_DEPENDS= :zip->=2.3:archivers/zip
|
||||
LIB_DEPENDS= gdk-x11-2.0,gdk_pixbuf-2.0,gtk-x11-2.0::x11/gtk+2 \
|
||||
nspr4.>=17,plc4.>=17,plds4.>=17:nspr->=4.6.4p1:devel/nspr \
|
||||
@ -162,5 +163,9 @@ do-install:
|
||||
${INSTALL_DATA} ${WRKBUILD}/build/unix/*.pc ${PREFIX}/lib/pkgconfig
|
||||
${INSTALL_MAN} ${WRKSRC}/xpfe/bootstrap/firefox.1 ${PREFIX}/man/man1/
|
||||
@ln -f ${PREFIX}/man/man1/firefox.1 ${PREFIX}/man/man1/mozilla-firefox.1
|
||||
${INSTALL_DATA_DIR} ${PREFIX}/share/applications/
|
||||
@sed -e 's,!!PREFIX!!,${TRUEPREFIX},g' \
|
||||
< ${FILESDIR}/firefox.desktop > \
|
||||
${PREFIX}/share/applications/firefox.desktop
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
||||
192
www/mozilla-firefox/files/firefox.desktop
Normal file
192
www/mozilla-firefox/files/firefox.desktop
Normal file
@ -0,0 +1,192 @@
|
||||
[Desktop Entry]
|
||||
Version=1.0
|
||||
Encoding=UTF-8
|
||||
Name=Firefox Web Browser
|
||||
Name[am]=
|
||||
Name[ar]=
|
||||
Name[az]=Firefox Veb Səyyahı
|
||||
Name[be]=
|
||||
Name[bg]=Интернет браузър Firefox
|
||||
Name[bn]=
|
||||
Name[bs]=Firefox web preglednik
|
||||
Name[ca]=Navegador web Firefox
|
||||
Name[cs]=Prohlížeč WWW Firefox
|
||||
Name[cy]=Y Porwr Gwe Firefox
|
||||
Name[da]=Firefox - internetsurfning
|
||||
Name[de]=Firefox Webbrowser
|
||||
Name[el]=Περιηγητής Διαδικτύου Firefox
|
||||
Name[en_CA]=Firefox Web Browser
|
||||
Name[en_GB]=Firefox Web Browser
|
||||
Name[es]=Navegador Web Firefox
|
||||
Name[et]=Firefox veebibrauser
|
||||
Name[eu]=Firefox web arakatzailea
|
||||
Name[fi]=Firefox, WWW-selain
|
||||
Name[fr]=Navigateur Web Firefox
|
||||
Name[ga]=Brabhsálaí Lín Firefox
|
||||
Name[gu]=એપીફની વૅબ બ્રાઉઝર
|
||||
Name[he]=דפדפן Firefox
|
||||
Name[hi]=
|
||||
Name[hr]=Firefox Web preglednik
|
||||
Name[hu]=Firefox webböngésző
|
||||
Name[id]=Web Browser Firefox
|
||||
Name[it]=Browser web Firefox
|
||||
Name[ja]=Firefox ウェブ・ブラウザ
|
||||
Name[ko]=Firefox 웹 브라우저
|
||||
Name[li]=Firefox Web Browser
|
||||
Name[lt]=Firefox web naršyklė
|
||||
Name[mk]=Firefox веб прелистувач
|
||||
Name[ml]=എപ്പിഫാനി വെബ്ബ് ബ്രൌസര്
|
||||
Name[mn]=Firefox веб хөтөч
|
||||
Name[ms]=Pelungsur Web Firefox
|
||||
Name[nb]=Firefox nettleser
|
||||
Name[nl]=Firefox Webbrowser
|
||||
Name[nn]=Firefox nettlesar
|
||||
Name[no]=Firefox nettleser
|
||||
Name[pa]=ਏਪੀਫਾਨੀ ਵੈੱਬ ਬਰਾਊਜ਼ਰ
|
||||
Name[pl]=Przeglądarka WWW Firefox
|
||||
Name[pt]=Navegador Web Firefox
|
||||
Name[pt_BR]=Navegador Web Firefox
|
||||
Name[ro]=Navigatorul Firefox
|
||||
Name[ru]=Веб-браузер Firefox
|
||||
Name[sk]=
|
||||
Name[sl]=Spletni brskalnik Firefox
|
||||
Name[sq]=Firefox - Shfletuesi Web
|
||||
Name[sr]=
|
||||
Name[sr@Latn]=Veb čitač Spoznaja
|
||||
Name[sv]=Webbläsaren Firefox
|
||||
Name[ta]=எபிபனி வலை உலாவி
|
||||
Name[tk]=Firefox Web Ahtarçisi
|
||||
Name[tr]=Firefox Web Tarayıcı
|
||||
Name[uk]=Переглядач web Firefox
|
||||
Name[vi]=Trình Duyệt Web Firefox
|
||||
Name[wa]=Betchteu waibe epiphany
|
||||
Name[zh_CN]=Firefox Web 浏览器
|
||||
Name[zh_TW]=Firefox 網頁瀏覽器
|
||||
GenericName=Web Browser
|
||||
GenericName[ar]=متصفّح الانترنت
|
||||
GenericName[az]=Veb Səyyahı
|
||||
GenericName[be]=Вандроўнік па павуціньню
|
||||
GenericName[bg]=Браузър
|
||||
GenericName[bn]=ওয়েব ব্রাউজার
|
||||
GenericName[bs]=Web preglednik
|
||||
GenericName[ca]=Navegador web
|
||||
GenericName[cs]=Prohlížeč WWW
|
||||
GenericName[cy]=Porwr Gwe
|
||||
GenericName[da]=Internetsurfning
|
||||
GenericName[de]=Webbrowser
|
||||
GenericName[el]=Περιηγητής Ιστοσελίδων
|
||||
GenericName[en_CA]=Web Browser
|
||||
GenericName[en_GB]=Web Browser
|
||||
GenericName[es]=Navegador web
|
||||
GenericName[et]=Veebilehitseja
|
||||
GenericName[eu]=Web arakatzailea
|
||||
GenericName[fi]=WWW-selain
|
||||
GenericName[fr]=Navigateur Web Firefox
|
||||
GenericName[ga]=Brabhsálaí Lín
|
||||
GenericName[gu]=વેબ બ્રાઉઝર
|
||||
GenericName[he]=דפדפן אינטרנט
|
||||
GenericName[hi]=वेब ब्राउज़र
|
||||
GenericName[hr]=Web preglednik
|
||||
GenericName[hu]=Webböngésző
|
||||
GenericName[id]=Browser Web
|
||||
GenericName[it]=Browser web
|
||||
GenericName[ja]=GNOME ウェブ・ブラウザ
|
||||
GenericName[ko]=웹 브라우저
|
||||
GenericName[li]=Wèb Browser
|
||||
GenericName[lt]=Web naršyklė
|
||||
GenericName[mk]=Веб прелистувач
|
||||
GenericName[mn]=Веб хөтөч
|
||||
GenericName[ms]=Pelungsur Web
|
||||
GenericName[nb]=Nettleser
|
||||
GenericName[nl]=Web-browser
|
||||
GenericName[nn]=Nettlesar
|
||||
GenericName[no]=Nettleser
|
||||
GenericName[pa]=ਵੈਬ ਬਰਾਊਜ਼
|
||||
GenericName[pl]=Przeglądarka WWW
|
||||
GenericName[pt]=Navegador Web
|
||||
GenericName[pt_BR]=Navegador Web
|
||||
GenericName[ro]=Navigator Internet
|
||||
GenericName[ru]=Веб-браузер
|
||||
GenericName[sk]=WWW prehliadač
|
||||
GenericName[sl]=Spletni brskalnik
|
||||
GenericName[sq]=Shfletuesi Web
|
||||
GenericName[sr]=Веб читач
|
||||
GenericName[sr@Latn]=Veb čitač
|
||||
GenericName[sv]=Webbläsare
|
||||
GenericName[ta]=வலை உலாவி
|
||||
GenericName[th]=เว็บบราวเซอร์
|
||||
GenericName[tk]=Web Ahtarçysy
|
||||
GenericName[tr]=Web Tarayıcı
|
||||
GenericName[uk]=Переглядач web-сторінок
|
||||
GenericName[vi]=Trình duyệt Web
|
||||
GenericName[wa]=Betchteu waibe
|
||||
GenericName[zh_CN]=Web 浏览器
|
||||
GenericName[zh_TW]=網頁瀏覽器
|
||||
Comment=Browse the web
|
||||
Comment[ar]=تصفح الانترنت
|
||||
Comment[az]=Vebi gəzin
|
||||
Comment[be]=Вандраваць па павуціньню
|
||||
Comment[bg]=Сърфиране в интернет
|
||||
Comment[bn]=ওয়েব ব্রাউজ করুন
|
||||
Comment[bs]=Pregledaj na internetu
|
||||
Comment[ca]=Navegueu per la web
|
||||
Comment[cs]=Prohlížet WWW
|
||||
Comment[cy]=Pori'r we
|
||||
Comment[da]=Surf på internettet
|
||||
Comment[de]=Im Web surfen
|
||||
Comment[el]=Περιήγηση στον παγκόσμιο ιστό
|
||||
Comment[en_CA]=Browse the web
|
||||
Comment[en_GB]=Browse the web
|
||||
Comment[es]=Navegar por la web
|
||||
Comment[et]=Sirvi veebi
|
||||
Comment[eu]=Arakatu web-a
|
||||
Comment[fi]=Selaa WWW:tä
|
||||
Comment[fr]=Naviguer sur Internet
|
||||
Comment[ga]=Brabhsáil an Líon
|
||||
Comment[gu]=વેબમાં શોધો
|
||||
Comment[he]=גלוש ברשת
|
||||
Comment[hi]=वेब ब्राउज़ करें
|
||||
Comment[hr]=Pregledaj Web
|
||||
Comment[hu]=A világháló böngészése
|
||||
Comment[id]=Jelajah web
|
||||
Comment[it]=Esplora il web
|
||||
Comment[ja]=ウェブを閲覧します
|
||||
Comment[ko]=웹을 돌아 다닙니다
|
||||
Comment[li]=Blajere op internet
|
||||
Comment[lt]=Naršyti internete
|
||||
Comment[mk]=Прелистувајте на веб
|
||||
Comment[ml]=വലക്കെട്ട് തിരയുക
|
||||
Comment[mn]=Веб броузе хийх
|
||||
Comment[ms]=Layari web
|
||||
Comment[nb]=Surf på nettet
|
||||
Comment[nl]=Websurfen
|
||||
Comment[nn]=Surf på nettet
|
||||
Comment[no]=Surf på nettet
|
||||
Comment[pa]=ਵੈਬ ਬਰਾਊਜ਼
|
||||
Comment[pl]=Przeglądanie stron WWW
|
||||
Comment[pt]=Navegar na web
|
||||
Comment[pt_BR]=Navegar na web
|
||||
Comment[ro]=Navigare Internet
|
||||
Comment[ru]=Веб-браузер
|
||||
Comment[sk]=Prehliadať internet
|
||||
Comment[sl]=Brskaj po spletu
|
||||
Comment[sq]=Eksploro web-in
|
||||
Comment[sr]=Прегледај веб
|
||||
Comment[sr@Latn]=Pregledaj veb
|
||||
Comment[sv]=Surfa på nätet
|
||||
Comment[ta]=வலையில் உலாவு
|
||||
Comment[th]=ใช้งานเว็บบราวเซอร์ Firefox
|
||||
Comment[tk]=Webi Ahtar
|
||||
Comment[tr]=Web'e Gözat
|
||||
Comment[uk]=Програма перегляду web-сторінок
|
||||
Comment[vi]=Duyệt web
|
||||
Comment[wa]=Naivyî avå les waibes
|
||||
Comment[zh_CN]=浏览 Web
|
||||
Comment[zh_TW]=瀏覽網頁
|
||||
Exec=firefox %u
|
||||
Icon=!!PREFIX!!/mozilla-firefox/icons/mozicon50.xpm
|
||||
StartupNotify=false
|
||||
Terminal=false
|
||||
Type=Application
|
||||
Categories=Application;Network;
|
||||
MimeType=text/html;text/xml;application/xhtml+xml;application/vnd.mozilla.xul+xml;text/mml;
|
||||
@ -1,4 +1,4 @@
|
||||
@comment $OpenBSD: PLIST-main,v 1.5 2007/10/19 17:36:17 fgsch Exp $
|
||||
@comment $OpenBSD: PLIST-main,v 1.6 2007/12/19 14:47:50 jasper Exp $
|
||||
@conflict mozilla-firebird-*
|
||||
@pkgpath ${BASE_PKGPATH}
|
||||
%%SHARED%%
|
||||
@ -6,11 +6,9 @@ bin/firefox
|
||||
bin/mozilla-firefox
|
||||
@man man/man1/firefox.1
|
||||
@man man/man1/mozilla-firefox.1
|
||||
mozilla-firefox/
|
||||
mozilla-firefox/LICENSE
|
||||
mozilla-firefox/README.OpenBSD
|
||||
mozilla-firefox/browserconfig.properties
|
||||
mozilla-firefox/chrome/
|
||||
mozilla-firefox/chrome/browser.jar
|
||||
mozilla-firefox/chrome/browser.manifest
|
||||
mozilla-firefox/chrome/chromelist.txt
|
||||
@ -20,8 +18,6 @@ mozilla-firefox/chrome/comm.jar
|
||||
mozilla-firefox/chrome/comm.manifest
|
||||
mozilla-firefox/chrome/en-US.jar
|
||||
mozilla-firefox/chrome/en-US.manifest
|
||||
mozilla-firefox/chrome/icons/
|
||||
mozilla-firefox/chrome/icons/default/
|
||||
mozilla-firefox/chrome/icons/default/default.xpm
|
||||
mozilla-firefox/chrome/pippki.jar
|
||||
mozilla-firefox/chrome/pippki.manifest
|
||||
@ -29,7 +25,6 @@ mozilla-firefox/chrome/reporter.jar
|
||||
mozilla-firefox/chrome/reporter.manifest
|
||||
mozilla-firefox/chrome/toolkit.jar
|
||||
mozilla-firefox/chrome/toolkit.manifest
|
||||
mozilla-firefox/components/
|
||||
mozilla-firefox/components/FeedConverter.js
|
||||
mozilla-firefox/components/FeedProcessor.js
|
||||
mozilla-firefox/components/FeedWriter.js
|
||||
@ -202,59 +197,41 @@ mozilla-firefox/components/xpinstall.xpt
|
||||
mozilla-firefox/components/xulapp.xpt
|
||||
mozilla-firefox/components/xuldoc.xpt
|
||||
mozilla-firefox/components/xultmpl.xpt
|
||||
mozilla-firefox/defaults/
|
||||
mozilla-firefox/defaults/autoconfig/
|
||||
mozilla-firefox/defaults/autoconfig/platform.js
|
||||
mozilla-firefox/defaults/autoconfig/prefcalls.js
|
||||
mozilla-firefox/defaults/pref/
|
||||
mozilla-firefox/defaults/pref/channel-prefs.js
|
||||
mozilla-firefox/defaults/pref/firefox-branding.js
|
||||
mozilla-firefox/defaults/pref/firefox-l10n.js
|
||||
mozilla-firefox/defaults/pref/firefox.js
|
||||
mozilla-firefox/defaults/pref/reporter.js
|
||||
mozilla-firefox/defaults/profile/
|
||||
mozilla-firefox/defaults/profile/bookmarks.html
|
||||
mozilla-firefox/defaults/profile/chrome/
|
||||
mozilla-firefox/defaults/profile/chrome/userChrome-example.css
|
||||
mozilla-firefox/defaults/profile/chrome/userContent-example.css
|
||||
mozilla-firefox/defaults/profile/localstore.rdf
|
||||
mozilla-firefox/defaults/profile/mimeTypes.rdf
|
||||
mozilla-firefox/defaults/profile/prefs.js
|
||||
mozilla-firefox/defaults/profile/search.rdf
|
||||
mozilla-firefox/dictionaries/
|
||||
mozilla-firefox/dictionaries/en-US.aff
|
||||
mozilla-firefox/dictionaries/en-US.dic
|
||||
mozilla-firefox/extensions/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/chrome/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/chrome.manifest
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/chrome/chromelist.txt
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/chrome/inspector.jar
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/components/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/components/inspector-cmdline.js
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/defaults/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/defaults/preferences/
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/defaults/preferences/inspector.js
|
||||
mozilla-firefox/extensions/inspector@mozilla.org/install.rdf
|
||||
mozilla-firefox/extensions/{972ce4c6-7e08-4474-a285-3208198ce6fd}/
|
||||
mozilla-firefox/extensions/{972ce4c6-7e08-4474-a285-3208198ce6fd}/install.rdf
|
||||
mozilla-firefox/firefox-bin
|
||||
mozilla-firefox/greprefs/
|
||||
mozilla-firefox/greprefs/all.js
|
||||
mozilla-firefox/greprefs/security-prefs.js
|
||||
mozilla-firefox/greprefs/xpinstall.js
|
||||
mozilla-firefox/icons/
|
||||
mozilla-firefox/icons/document.png
|
||||
mozilla-firefox/icons/mozicon128.png
|
||||
mozilla-firefox/icons/mozicon16.xpm
|
||||
mozilla-firefox/icons/mozicon50.xpm
|
||||
mozilla-firefox/init.d/
|
||||
mozilla-firefox/init.d/README
|
||||
mozilla-firefox/mozilla-firefox-bin
|
||||
mozilla-firefox/mozilla-xremote-client
|
||||
mozilla-firefox/plugins/
|
||||
mozilla-firefox/regxpcom
|
||||
mozilla-firefox/res/
|
||||
mozilla-firefox/res/EditorOverride.css
|
||||
mozilla-firefox/res/arrow.gif
|
||||
mozilla-firefox/res/arrowd.gif
|
||||
@ -263,17 +240,14 @@ mozilla-firefox/res/broken-image.gif
|
||||
mozilla-firefox/res/charsetData.properties
|
||||
mozilla-firefox/res/charsetalias.properties
|
||||
mozilla-firefox/res/cmessage.txt
|
||||
mozilla-firefox/res/dtd/
|
||||
mozilla-firefox/res/dtd/mathml.dtd
|
||||
mozilla-firefox/res/dtd/xhtml11.dtd
|
||||
mozilla-firefox/res/entityTables/
|
||||
mozilla-firefox/res/entityTables/html40Latin1.properties
|
||||
mozilla-firefox/res/entityTables/html40Special.properties
|
||||
mozilla-firefox/res/entityTables/html40Symbols.properties
|
||||
mozilla-firefox/res/entityTables/htmlEntityVersions.properties
|
||||
mozilla-firefox/res/entityTables/mathml20.properties
|
||||
mozilla-firefox/res/entityTables/transliterate.properties
|
||||
mozilla-firefox/res/fonts/
|
||||
mozilla-firefox/res/fonts/fontEncoding.properties
|
||||
mozilla-firefox/res/fonts/mathfont.properties
|
||||
mozilla-firefox/res/fonts/mathfontCMEX10.properties
|
||||
@ -288,7 +262,6 @@ mozilla-firefox/res/fonts/pangoFontEncoding.properties
|
||||
mozilla-firefox/res/forms.css
|
||||
mozilla-firefox/res/grabber.gif
|
||||
mozilla-firefox/res/hiddenWindow.html
|
||||
mozilla-firefox/res/html/
|
||||
mozilla-firefox/res/html.css
|
||||
mozilla-firefox/res/html/gopher-audio.gif
|
||||
mozilla-firefox/res/html/gopher-binary.gif
|
||||
@ -306,7 +279,6 @@ mozilla-firefox/res/loading-image.gif
|
||||
mozilla-firefox/res/mathml.css
|
||||
mozilla-firefox/res/quirk.css
|
||||
mozilla-firefox/res/sample.unixpsfonts.properties
|
||||
mozilla-firefox/res/samples/
|
||||
mozilla-firefox/res/samples/Anieyes.gif
|
||||
mozilla-firefox/res/samples/aform.css
|
||||
mozilla-firefox/res/samples/beeptest.html
|
||||
@ -380,7 +352,6 @@ mozilla-firefox/res/table-remove-column.gif
|
||||
mozilla-firefox/res/table-remove-row-active.gif
|
||||
mozilla-firefox/res/table-remove-row-hover.gif
|
||||
mozilla-firefox/res/table-remove-row.gif
|
||||
mozilla-firefox/res/throbber/
|
||||
mozilla-firefox/res/throbber/anim.gif
|
||||
mozilla-firefox/res/throbber/anims00.gif
|
||||
mozilla-firefox/res/throbber/anims01.gif
|
||||
@ -417,16 +388,18 @@ mozilla-firefox/res/unixcharset.properties
|
||||
mozilla-firefox/res/viewer.properties
|
||||
mozilla-firefox/res/viewsource.css
|
||||
mozilla-firefox/run-mozilla.sh
|
||||
mozilla-firefox/searchplugins/
|
||||
mozilla-firefox/searchplugins/amazondotcom.xml
|
||||
mozilla-firefox/searchplugins/answers.xml
|
||||
mozilla-firefox/searchplugins/creativecommons.xml
|
||||
mozilla-firefox/searchplugins/eBay.xml
|
||||
mozilla-firefox/searchplugins/google.xml
|
||||
mozilla-firefox/searchplugins/yahoo.xml
|
||||
@cwd ${LOCALBASE}/mozilla-firefox
|
||||
share/applications/
|
||||
share/applications/firefox.desktop
|
||||
@exec %D/bin/update-desktop-database
|
||||
@unexec %D/bin/update-desktop-database
|
||||
@exec rm -rf /tmp/.mozilla
|
||||
@exec cd %D && env HOME=/tmp LD_LIBRARY_PATH=%D ./regxpcom
|
||||
@exec cd %D/mozilla-firefox && env HOME=/tmp LD_LIBRARY_PATH=%D/mozilla-firefox ./regxpcom
|
||||
@exec rm -rf /tmp/.mozilla
|
||||
@unexec rm -f %D/components/compreg.dat
|
||||
@unexec rm -f %D/components/xpti.dat
|
||||
@unexec rm -f %D/mozilla-firefox/components/compreg.dat
|
||||
@unexec rm -f %D/mozilla-firefox/components/xpti.dat
|
||||
|
||||
Loading…
Reference in New Issue
Block a user