REVOKE
Removes access privileges, such as privileges to create or update tables, from a user or user group.
You can't GRANT or REVOKE permissions on an external table. Instead, grant or revoke the permissions on the external schema.
For stored procedures, USAGE ON LANGUAGE plpgsql is granted to PUBLIC by default. EXECUTE ON PROCEDURE is granted only to the owner and superusers by default.
Specify in the REVOKE statement the privileges that you want to remove. To give privileges, use the GRANT command.
Syntax
REVOKE [ GRANT OPTION FOR ] { { SELECT | INSERT | UPDATE | DELETE | REFERENCES } [,...] | ALL [ PRIVILEGES ] } ON { [ TABLE ] table_name [, ...] | ALL TABLES IN SCHEMA schema_name [, ...] } FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ] REVOKE [ GRANT OPTION FOR ] { { CREATE | TEMPORARY | TEMP } [,...] | ALL [ PRIVILEGES ] } ON DATABASE db_name [, ...] FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ] REVOKE [ GRANT OPTION FOR ] { { CREATE | USAGE } [,...] | ALL [ PRIVILEGES ] } ON SCHEMA schema_name [, ...] FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ] REVOKE [ GRANT OPTION FOR ] EXECUTE ON FUNCTION function_name ( [ [ argname ] argtype [, ...] ] ) [, ...] FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ] REVOKE [ GRANT OPTION FOR ] { { EXECUTE } [,...] | ALL [ PRIVILEGES ] } ON PROCEDURE procedure_name ( [ [ argname ] argtype [, ...] ] ) [, ...] FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ] REVOKE [ GRANT OPTION FOR ] USAGE ON LANGUAGE language_name [, ...] FROM { username | GROUP group_name | PUBLIC } [, ...] [ CASCADE | RESTRICT ]
Parameters
- GRANT OPTION FOR
-
Revokes only the option to grant a specified privilege to other users and does not revoke the privilege itself. GRANT OPTION can not be revoked from a group or from PUBLIC.
- SELECT
-
Revokes the privilege to select data from a table or a view using a SELECT statement.
- INSERT
-
Revokes the privilege to load data into a table using an INSERT statement or a COPY statement.
- UPDATE
-
Revokes the privilege to update a table column using an UPDATE statement.
- DELETE
-
Revokes the privilege to delete a data row from a table.
- REFERENCES
-
Revokes the privilege to create a foreign key constraint. You should revoke this privilege on both the referenced table and the referencing table.
- ALL [ PRIVILEGES ]
-
Revokes all available privileges at once from the specified user or group. The PRIVILEGES keyword is optional.
- ON [ TABLE ] table_name
-
Revokes the specified privileges on a table or a view. The TABLE keyword is optional.
- ON ALL TABLES IN SCHEMA schema_name
-
Revokes the specified privileges on all tables in the referenced schema.
- GROUP group_name
-
Revokes the privileges from the specified user group.
- PUBLIC
-
Revokes the specified privileges from all users. PUBLIC represents a group that always includes all users. An individual user's privileges consist of the sum of privileges granted to PUBLIC, privileges granted to any groups that the user belongs to, and any privileges granted to the user individually.
- CREATE
-
Depending on the database object, revokes the following privileges from the user or group:
-
For databases, using the CREATE clause for REVOKE prevents users from creating schemas within the database.
-
For schemas, using the CREATE clause for REVOKE prevents users from creating objects within a schema. To rename an object, the user must have the CREATE privilege and own the object to be renamed.
Note
By default, all users have CREATE and USAGE privileges on the PUBLIC schema.
-
- TEMPORARY | TEMP
-
Revokes the privilege to create temporary tables in the specified database.
Note
By default, users are granted permission to create temporary tables by their automatic membership in the PUBLIC group. To remove the privilege for any users to create temporary tables, revoke the TEMP permission from the PUBLIC group and then explicitly grant the permission to create temporary tables to specific users or groups of users.
- ON DATABASE db_name
-
Revokes the privileges on the specified database.
- USAGE
-
Revokes USAGE privileges on objects within a specific schema, which makes these objects inaccessible to users. Specific actions on these objects must be revoked separately (such as the EXECUTE privilege on functions).
Note
By default, all users have CREATE and USAGE privileges on the PUBLIC schema.
- ON SCHEMA schema_name
-
Revokes the privileges on the specified schema. You can use schema privileges to control the creation of tables; the CREATE privilege for a database only controls the creation of schemas.
- CASCADE
-
If a user holds a privilege with grant option and has granted the privilege to other users, the privileges held by those other users are dependent privileges. If the privilege or the grant option held by the first user is being revoked and dependent privileges exist, those dependent privileges are also revoked if CASCADE is specified; otherwise, the revoke action fails.
For example, if user A has granted a privilege with grant option to user B, and user B has granted the privilege to user C, user A can revoke the grant option from user B and use the CASCADE option to in turn revoke the privilege from user C.
- RESTRICT
-
Revokes only those privileges that the user directly granted. This behavior is the default.
- EXECUTE ON FUNCTION function_name
-
Revokes the EXECUTE privilege on a specific function. Because function names can be overloaded, you must include the argument list for the function. For more information, see Naming UDFs.
- EXECUTE ON PROCEDURE procedure_name
-
Revokes the EXECUTE privilege on a specific stored procedure. Because stored procedure names can be overloaded, you must include the argument list for the procedure. For more information, see Naming Stored Procedures.
- EXECUTE ON ALL PROCEDURES IN SCHEMA procedure_name
-
Revokes the specified privileges on all procedures in the referenced schema.
- USAGE ON LANGUAGE language_name
-
Revokes the USAGE privilege on a language. For Python user-defined functions (UDFs), use
plpythonu
. For SQL UDFs, usesql
. For stored procedures, useplpgsql
.To create a UDF, you must have permission for usage on language for SQL or
plpythonu
(Python). By default, USAGE ON LANGUAGE SQL is granted to PUBLIC. However, you must explicitly grant USAGE ON LANGUAGE PLPYTHONU to specific users or groups.To revoke usage for SQL, first revoke usage from PUBLIC. Then grant usage on SQL only to the specific users or groups permitted to create SQL UDFs. The following example revokes usage on SQL from PUBLIC then grants usage to the user group
udf_devs
.revoke usage on language sql from PUBLIC; grant usage on language sql to group udf_devs;
For more information, see UDF Security and Privileges.
To revoke usage for stored procedures, first revoke usage from PUBLIC. Then grant usage on
plpgsql
only to the specific users or groups permitted to create stored procedures. For more information, see Security and Privileges for Stored Procedures .
Usage Notes
To revoke privileges from an object, you must meet one of the following criteria:
-
Be the object owner.
-
Be a superuser.
-
Have a grant privilege for that object and privilege.
For example, the following command enables the user HR both to perform SELECT commands on the employees table and to grant and revoke the same privilege for other users.
grant select on table employees to HR with grant option;
HR can't revoke privileges for any operation other than SELECT, or on any other table than employees.
Superusers can access all objects regardless of GRANT and REVOKE commands that set object privileges.
PUBLIC represents a group that always includes all users. By default all members of PUBLIC have CREATE and USAGE privileges on the PUBLIC schema. To restrict any user's permissions on the PUBLIC schema, you must first revoke all permissions from PUBLIC on the PUBLIC schema, then grant privileges to specific users or groups. The following example controls table creation privileges in the PUBLIC schema.
revoke create on schema public from public;
Examples
The following example revokes INSERT privileges on the SALES table from the GUESTS user group. This command prevents members of GUESTS from being able to load data into the SALES table by using the INSERT command:
revoke insert on table sales from group guests;
The following example revokes the SELECT privilege on all tables in the QA_TICKIT
schema from the user fred
:
revoke select on all tables in schema qa_tickit from fred;
The following example revokes the privilege to select from a view for user
bobr
:
revoke select on table eventview from bobr;
The following example revokes the privilege to create temporary tables in the TICKIT database from all users:
revoke temporary on database tickit from public;


(navbar)
This needs to be left here
This needs to be left here
Please enter your comment.
Input is incorrect


For lodging, click the following link to the Omni Hotel.
The conference will go from 7am to 5pm daily. Breakfast, lunch, and snacks will be provded on both days. There will be a reception on Friday from 5pm to 6:30 pm where food and drinks will be served.
The Omni Hotel does serve dinner in its rooftop restaurant. If you would like to venture out a little further the following restaurants are recommended.
| Restaurant | Address | Phone | Type of food |
|---|---|---|---|
| Olea | 39 High Street |<PHONE_NUMBER> | Spanish, vegetarian friendly |
| Zinc | 964 Chapel Street |<PHONE_NUMBER> | American, contemporary |
| Union League Cafe | 1032 Chapel Street |<PHONE_NUMBER> | French, contemporary |
| Barcelona | 155 Temple Street |<PHONE_NUMBER> | Mediterranean, European, Spanish |
| Claire's Corner Copia | 1000 Chapel Street |<PHONE_NUMBER> | American cafe, kosher, vegetarian, vegan friendly |
| Atticus Bookstore and Cafe | 1082 Chapel Street |<PHONE_NUMBER> | American |
| Prime 16 | 172 Temple Street |<PHONE_NUMBER> | American, pub |
| Louis' Lunch | 263 Crown Street |<PHONE_NUMBER> | American, the first hamburger |
| Shake Shack | 986 Chapel Street |<PHONE_NUMBER> | American, fast food |
| Mecha Noodle | 201 Crown Street |<PHONE_NUMBER> | Japanese, Vietnamese |
| Chipotle Mexican Grill | 900 Chapel Street |<PHONE_NUMBER> | Mexican |
| Starbucks | 1068 Chapel Street |<PHONE_NUMBER> | Coffee and tea |
| Frank Pepe Pizzeria Napoletana | 157 Wooster Street |<PHONE_NUMBER> | Pizza |
| Consiglio's | 165 Wooster Street |<PHONE_NUMBER> | Italian, vegetarian friendly |


Nearly all of Balzac's novels dramatize Karl Marx's observation in the Communist Manifesto that "The bourgeoisie has torn away from the family its sentimental veil, and has reduced the family relation into a mere money relation." Des McAnuff's film "Cousin Bette," based on Balzac's novel of the same name, is faithful to both Balzac and Marx on this score.
This is no bland and pretty costume drama in the Merchant-Ivory mold. The aristocrats and the haut-bourgeoisie are repellent gargoyles in McAnuff's film, just as they are in Balzac. The film is a gritty, radical satire of bourgeois mores that constantly reminds us of the price-tag attached to all human relations. McAnuff explains what drew him to the Balzac novel:
"When it comes to choosing a project, I look for something that illuminates my life and times. 'Cousin Bette' began to feel more and more like a story about a large American city, where we have perhaps some of the same social and political problems that Paris faced in the nineteenth century...Paris was in a depression in the 1840s and no one in fact saw the turmoil coming. Having gone through the riots in Los Angeles, it began to feel remarkably similar. When I saw this link to current times, that's when I really climbed aboard and started to shape the story."
Cousin Bette (Jessica Lange) is a forty year old seamstress who works backstage in a music hall. Her sister has just passed away and she hopes to snag the wealthy grieving husband Hector Hulot (Hugh Laurie). When he meets with her, he certainly seems to have this intention since he speaks about the vacuum in his life and the need for someone to look after his college-age daughter. To her disappointment, she discovers that he is merely offering her a job as a housekeeper.  While she is the protagonist of the film, one can feel no sympathy toward her or any of the other characters for that matter. The key to the success of the film, and the novel it is based on, is that it caters to our morbid curiosity.
We are introduced to Hulot's daughter Hortense (Kelly MacDonald) as she is being propositioned by the superrich Crevel (Bob Hoskins), who offers her 200,000 francs to look at her naked body. She turns him down.
Another central character is the young, handsome fallen aristocrat Wenceslas (Aden Young) who lives in poverty in the same rundown tenement as Cousin Bette. He is trying rather unsuccessfully to launch a career as a sculptor. At night he tiptoes into her apartment in order to steal cheese from her rat-trap and sneak a drink of wine from the bottle she keeps on a shelf. He is not aware that she has been awake when he makes these nocturnal visits and, moreover, has fallen in love with him.
One day Cousin Bette discovers Wenceslas unconscious in his flat, where he has tried to kill himself by filling the room with fumes from his coal-stove. She throws open the window and revives him. Then she offers to subsidize his career, albeit in a modest fashion. She will pay for his rent and his meals, but emphasizes that she will keep a strict account of all sums advanced. Like Crevel, she is consumed with love but knows that everything has a cash value as well.
The singer-dancer Jenny Cadine (Elisabeth Shue) rounds out the cast of miscreants. In her spare time, she is courtesan to Hulot. We meet her onstage as she is complaining that her costume does not show off her best features. Cousin Bette, her seamstress, approaches her from behind and cuts a large patch in the fabric covering her backside. She then announces that everybody can now see the star performer's best feature.  From that night on, she performs bare-assed.
After Wenceslas has become Cousin Bette's protégé, the young Hortense decides to steal him away. After Bette discovers that the two have become lovers, she confronts him in his studio. What about us, she asks.  This rejection inspires her to take revenge against all who have caused her misery and disappointment. Like Iago, she conspires behind the scenes to set one character against another until they are all ruined. In contradistinction to Othello, the major character in Balzac's tale is the villain, not the hero. Since Balzac's cynical world-view excludes heroism, this has an air-tight logic. Furthermore, in some sense, villains are more interesting. Milton's Lucifer is one of the great characters in literature. We remember him, not any of the angels.
One of the greatest achievements of the film is the casting and the way McAnuff directs his cast. You lose track of the associations you have with the various actors in previous films and only know them as the Balzac characters. Jessica Lange is perfect as the dark and vengeful Bette. Hugh Laurie, best known for his Bertie Wooster on the PBS series, brings the vain spendthrift aristocrat Hulot to life. Hoskins has often played vulgarians, so his perfection as Crevel comes as no surprise. What is a surprise, however, is Elisabeth Shue's Jenny Cadine. Shue is best known for her role as another prostitute in "Leaving Las Vegas." What she brings to the role of Jenny is a keen sense of the class antagonism between her and Hulot, who pays for her love. When he--or any other of her wealthy clients--can no longer pay for her services, she instantly turns cold and haughty. As such, she is the perfect illustration of Marx's dictum that capitalism has left no other nexus between man and man than naked self-interest, than callous "cash payment." By implication, the same thing is true of man and woman.
What makes "Cousin Bette" exceptional cinema is the modernist aesthetic vision of director Des McAnuff, who never worked in film before. He is a two-time Tony Award-winner ("Tommy," "Big River") who understood completely how to bring Balzac alive. He has entirely rejected the temptation to romanticize 19th century France. Thus, certain directorial decisions make perfect sense, among them the decision to use cinematographer Andrzej Sekula, who worked previously on "Pulp Fiction" and "Reservoir Dogs." Instead of the languid camera work of an Ivory-Merchant film that dotes self-consciously on wallpaper or petticoats, we get a hard-edged vision of the underbelly of French society.
McAnuff was clear about the look he expected from Sekula:
"This film is about outsiders and insiders, about contrasts...Visually, it was a question of finding a chateau for the Hulots that was spacious and had that fading first Empire look, reflecting the end of an age of abundance and plenty. Then, we wanted to contrast that with Bette's neighborhood, a medieval city that was suffering from the diseases of the early industrial revolution...We wanted to avoid romanticizing the suffering of the people...We wanted cobblestone streets, very narrow lanes, a sense of claustrophobia, almost a rat's maze, full of smoke, coal dust and dung, alongside spectacular eighteenth century architecture."
In other words, he wanted to convey sharp class distinctions.
The film concludes with fighting in the streets as the revolution of 1848 erupts. The decadence of aristocrats and haut-bourgeoisie like Hulot, Wenceslas and Crevel has finally brought the masses into the streets. The most resolute section of the masses was the proletariat, of whom Marx wrote the following in "Class Struggles in France 1848-1850":
"It is well known how the workers, with unexampled bravery and ingenuity, without leaders, without a common plan, without means and, for the most part, lacking weapons, held in check for five days the army, the Mobile Guard, the Paris National Guard, and the National Guard that streamed in from the provinces. It is well known how the bourgeoisie compensated itself for the mortal anguish it suffered by unheard -- of brutality, massacring over 3000 prisoners. The official representatives of French democracy were steeped in republican ideology to such an extent that it was only some weeks later that they began to have an inkling of the significance of the June fight. They were stupefied by the gunpowder smoke in which their fantastic republic dissolved."
Balzac hated the bourgeoisie and workers equally. Only as the industrial working-class became better organized politically and more self-confident, did novelists such as Zola begin to champion its cause. Balzac's importance is that he wrote brilliantly about the social decay that capitalism breeds. Thus, he is a novelist who remains very contemporary. As such, McAnuff's bitter, dark comedy "Cousin Bette" does Balzac perfect justice.
(For Marxist discussion: //www.panix.com/~lnp3/marxism.html)
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


AppID:
Online
Connected
Not connect
Client to Server
Chart Types
Chartdata to publish
Send to Server
Server to Client
Chartdata received


What is an App?
An app, which is short for application, is a type of software that can be installed and run on a computer, tablet, smartphone or other electronic devices. An app most frequently refers to a mobile application or a piece of software that is installed and used on a computer. Most apps have a specific and narrow function.
What is Web?
The Web, or World Wide Web (W3), is basically a system of Internet servers that support specially formatted documents. The documents are formatted in a markup language called HTML (HyperText Markup Language) that supports links to other documents, as well as graphics, audio, and video files.
What is UI?
The “UI” in UI design stands for “user interface.” The user interface is the graphical layout of an application. It consists of the buttons users click on, the text they read, the images, sliders, text entry fields, and all the rest of the items the user interacts with. This includes screen layout, transitions, interface animations and every single micro-interaction. Any sort of visual element, interaction, or animation must all be designed.
What is SEO?
SEO stands for “search engine optimization.” In simple terms, it means the process of improving your site to increase its visibility for relevant searches. The better visibility your pages have in search results, the more likely you are to garner attention and attract prospective and existing customers to your business.


{include file="public:head" /}
{:lang('address')}:{$site_address}
{:lang('phone')}: {$site_tel}
{:lang('email')}:{$site_admin_email}
Q Q:{$site_qq}


Editing a Link
How to edit a link in the TelerikEditorProvider for the RTE.
Option One:
- Select the linked text or object.
- Click the Hyperlink Manager (CTRL + K) button. This opens the Hyperlink Manager.
- Edit the link as required. For more details on the available fields, See "Adding an Email Link", See "Adding a Page Link" or See "Adding a Page Link".
Option Two:
- Right-click on the linked text or object.
- Select Properties... from the drop down list. This opens the Hyperlink Manager.
- Edit the link as required. For more details on the available fields, See "Adding an Email Link", See "Adding a Page Link" or See "Adding a Page Link".
- Click the OK button.


Hello, I am Daniele and this is my home page.
I also wrote a book! Read it here.
The name is
The age is


You've installed Unpaywall!
We'll work in the background when you view research articles. If you see the green tab, click it to skip the paywall. if you see a gray tab it means we came up empty.
To get started, try this example article:
Information-Theoretic Approach to Quantum Error Correction and Reversible Measurement.
It's paywalled in the Proceedings of the Royal Society A, but Unpaywall finds a free copy uploaded by the authors to the CERN website.
PS for the Open Access nerds: if you want to really dive into articles' OA status, the Unpaywall tab can change colors to indicate Green or Gold OA, too. Enable it in settings.


--- layout: page title: "Whoops!" comments: false sharing: false footer: flase ---
I'm very sorry, but it looks like you got lost on the way here. This could have been caused by a number of factors;
In the event you wish to read my blog, you might like to return to the homepage


{% load static%}
E-Learning resource platform that offers convenience to learners pursuing their professional courses despite their busy schedules. We help them learn more effectively, flexibly and efficiently to increase their chances of exam success and stay motivated. We are digitizing learning resources and transform it into edutainment to ease the stress of studying. Our aim is to improve exam performance by offering the most interactive learning platform for professional exams


The goal of typos
is to provide a flexible warning when commonly mis-typed functions are called. Functions with typing errors will still be evaluated and a warning will be output. It also provides the user with a convenient function to define their own typos.
You can install the development version of typos
from GitHub with:
For example, without typos
installed, mistyping the functions names()
as nameS()
will throw an error.
nameS(iris) #> Error in nameS(iris): could not find function "nameS"
But, with typos
, the function is still evaluated, and rather than an Error, a Warning is produced.
The key to typo
is the .typo()
function. To generate a typo, we use the following syntax:
For example, the above nameS
typo is generated with
The way .typo()
works is to generate a wrapper function around the correctly spelled function. This wrapper function sends a warning to the user, but still evaluates the “proper” function.
The wrapper function, nameS
looks like this:
nameS #> function (...) #> { #> requireNamespace("base", quietly = T) #> .call <- deparse(sys.call()) #> .typo_alert("names", .call) #> base::names(...) #> } #> <bytecode: 0x7ffed2512730> #> <environment: 0x7ffed2517580>
Notice that all the arguments passed to nameS(...)
are forwarded on to names(...)
As well as the correctly spelled function, the .typo()
function can take a .package
argument (this will always be the second unnamed argument, so code can be neater). By default, this will be the base
package, but any other package will need to be specified (this includes default packages like stats
).
Rnorm <- .typo(rnorm,stats)
Within the wrapper function, this changes two things. The argument passed to requireNamespace()
will match this package, as will the “proper” function call
Rnorm #> function (...) #> { #> requireNamespace("stats", quietly = T) #> .call <- deparse(sys.call()) #> .typo_alert("rnorm", .call) #> stats::rnorm(...) #> } #> <environment: 0x7ffed38b5e88>
Caution should be used if the misspelled version of your function already exists as a function in it’s own right. The .typo()
will overwrite the other “correct” function with the new typo function. For this reason, it is recommended that typos
be the first package loaded to ensure functions loaded in other packages can overwrite the Exported typos provided here.


Reports any implementations of Iterator.hasNext() or ListIterator.hasPrevious()
that call Iterator.next() or ListIterator.previous() on themselves.
Such calls are almost certainly in error, as methods like hasNext()
should not modify the iterators state, while next() should.


Returns true if the user is one of the admins.
for test, System.auth.email must be set before calling this method.
System.auth.email
System.auth.email = EngineSettings.adminEmails[0]; assert.equal(isAdmin(), true);
Generated using TypeDoc
Returns true if the user is one of the admins.
for test,
System.auth.email
must be set before calling this method.System.auth.email = EngineSettings.adminEmails[0]; assert.equal(isAdmin(), true);


LSDIFF(1) Man pages LSDIFF(1) NAME lsdiff - show which files are modified by a patch SYNOPSIS lsdiff [[-n] | [--line-number]] [[-p n] | [--strip-match=n]] [--strip=n] [--addprefix=PREFIX] [[-s] | [--status]] [[-E] | [--empty-files-as-removed]] [[-i PATTERN] | [--include=PATTERN]] [[-x PATTERN] | [--exclude=PATTERN]] [[-z] | [--decompress]] [[-# RANGE] | [--hunks=RANGE]] [--lines=RANGE] [--files=RANGE] [[-H] | [--with-filename]] [[-h] | [--no-filename]] [[-v] | [--verbose]...] [file...] lsdiff {[--help] | [--version] | [--filter ...] | [--grep ...]} DESCRIPTION List the files modified by a patch. You can use both unified and context format diffs with this program. OPTIONS -n, --line-number Display the line number that each patch begins at. If verbose output is requested (using -nv), each hunk of each patch is listed as well. For each file that is modified, a line is generated containing the line number of the beginning of the patch, followed by a Tab character, followed by the name of the file that is modified. If -v is given once, following each of these lines will be one line for each hunk, consisting of a Tab character, the line number that the hunk begins at, another Tab character, the string “Hunk #”, and the hunk number (starting at 1). If the -v is given twice in conjunction with -n (i.e. -nvv), the format is slightly different: hunk-level descriptive text is shown after each hunk number, and the --number-files option is enabled. --number-files File numbers are listed, beginning at 1, before each filename. -# RANGE, --hunks=RANGE Only list hunks within the specified RANGE. Hunks are numbered from 1, and the range is a comma-separated list of numbers or “first-last” spans; either the first or the last in the span may be omitted to indicate no limit in that direction. --lines=RANGE Only list hunks that contain lines from the original file that lie within the specified RANGE. Lines are numbered from 1, and the range is a comma-separated list of numbers or “first-last” spans; either the first or the last in the span may be omitted to indicate no limit in that direction. --files=RANGE Only list files indicated by the specified RANGE. Files are numbered from 1 in the order they appear in the patch input, and the range is a comma-separated list of numbers or “first-last” spans; either the first or the last in the span may be omitted to indicate no limit in that direction. -p n, --strip-match=n When matching, ignore the first n components of the pathname. --strip=n Remove the first n components of the pathname before displaying it. --addprefix=PREFIX Prefix the pathname with PREFIX before displaying it. -s, --status Show file additions, modifications and removals. A file addition is indicated by a “+”, a removal by a “-”, and a modification by a “!”. -E, --empty-files-as-removed Treat empty files as absent for the purpose of displaying file additions, modifications and removals. -i PATTERN, --include=PATTERN Include only files matching PATTERN. -x PATTERN, --exclude=PATTERN Exclude files matching PATTERN. -z, --decompress Decompress files with extensions .gz and .bz2. -H, --with-filename Print the name of the patch file containing each patch. -h, --no-filename Suppress the name of the patch file containing each patch. -v, --verbose Verbose output. --help Display a short usage message. --version Display the version number of lsdiff. --filter Behave like filterdiff(1) instead. --grep Behave like grepdiff(1) instead. SEE ALSO filterdiff(1), grepdiff(1) EXAMPLES To sort the order of touched files in a patch, you can use: lsdiff patch | sort -u | \ xargs -rn1 filterdiff patch -i To show only added files in a patch: lsdiff -s patch | grep '^+' | \ cut -c2- | xargs -rn1 filterdiff patch -i To show the headers of all file hunks: lsdiff -n patch | (while read n file do sed -ne "$n,$(($n+1))p" patch done) AUTHOR Tim Waugh<EMAIL_ADDRESS>Package maintainer patchutils 23 Jan 2009 LSDIFF(1)


Loading...
NeoCompiler-Eco
Localhost
TestNet
MainNet
Personalized
Select Network
CONNECT WALLET
Compilers
Contracts
Wallet
Raw RPC
Activity
Conversors
Network
Compilers
C#
Python
...
COMPILE
Save
Delete
Main.cs
NEF (in hex):
Compiled contract info:
ScriptHash
Address
AVM size (in bytes)
ABI:
MANIFEST:
Compiler Output (Warning/Errors):
Contracts
Contracts
Contract ScriptHash
Name
Get Storage
Deploy Contract
Import to wallet
Remove local contract
Native Contracts
Local Contracts
Additional Notification Contracts
ABI Methods
InvokeFunction
Parameters
Import Contract
Contract ScriptHash
Import to Local Contracts
Save contract
RPC
Request from Neo C# nodes (RPC-JSON API)
Method (view
Official API
or put cursor on top for tooltip)
Select a method
getblockcount
getnep17balances
dumpprivkey
getaccountstate
getapplicationlog
getassetstate
getbalance
getbestblockhash
getblock
getblock
getblockhash
GetBlockHeader
getblocksysfee
getconnectioncount
getcontractstate
getnewaddress
getmetricblocktimestamp
getrawmempool
getrawtransaction
getstorage
gettransactionheight
getpeers
getnextblockvalidators
getcommittee
getversion
invoke
invokefunction
invokescript
listaddress
listplugins
sendrawtransaction
sendtoaddress
sendmany
submitblock
validateaddress
getstateheight
getstateroot
getproof
verifyproof
Insert RPC Json
Invoke RPC
Get Notifications
Signers
Network Fees
System Fees
Valid Until
Script
Relay to Blockchain
Activity
Historical Relayed TX's
Blocks
100% complete
Last
Count
Min. Txs.
Storage Query
Read storage from a Smart Contract
ScriptHash
Input Key
String (no quotes)
Hex
Output Value
Incremental storage
Wallet
Wallet
Transfer NEP17 Tokens
Transferring X
To
Create Transfer
Import account
Address (17 bytes) - WatchOnly
ScriptHash (20 bytes) - WatchOnly
PublicKey (33 bytes)
WIF (26 bytes)
PrivateKey (32 bytes)
EncryptedKey (29 bytes)
MultiSig Verification (?bytes)
Conversors
String <-> Hex
String
Hex
Length (in bytes)
Hex <-> xeH
Hex
xeH
Base64 <-> Hex
Base64
Hex
Number <-> Fixed8 Hex
Number
Fixed8
Address <-> ScriptHash (big endian)
Address
ScriptHash (big endian, should start with 0x)
BigInteger <-> Little-Endian ByteArray
BigInteger
Little-Endian ByteArray
Hex String -> Hash
Hex String
Hash160
Hex Sha256
Hash256
Network
Filter Logs
Height
Number Lines
Year
Day
Month
Search All
Select filter
OnStop
OnStart
Error
null
Node1
Node2
Node3
Node4
NodeRPC(WatchOnly)
Oracle Service
Elect Oracle
OracleHttpsProtocol
Verification Service
Elect StateService
Verification Context
Statistics
Settings
Personalized Base Paths
Neo-cli RPCs
https://node1.neocompiler.io
https://node2.neocompiler.io
https://node3.neocompiler.io
Selected service
Compilers
https://compilers.neocompiler.io
Selected service
EcoServices
https://ecoservices.neocompiler.io
Selected service
NEOSCAN
https://neoscan.neocompiler.io
Selected service
Automatic selection
Compiler server
Pick best ping compiler
RPC c# neo-cli
Pick best height node
Consensus Node
Seconds per block
Password
Set
Explorers
View NEOSCAN
View links and statistics of NEOSCAN
Perform Queries using NEOSCAN
Queries (UTXO, Claims, Neon.ApiProvide) with NEOSCAN
Configs
Disable notifications
Password
Reset docker service
Automatic refreshing (ms)
Wallet balances
TXs Activity
Headers info
Ping compilers
Ping neo-clients
GenesisBlock
Eco metadata
Close Tutorial
Next


Class DB
Provides generic database methods
Abstract
Namespace: CJPGDK\PhpHttpAuth\Database
Package: CJPGDK\PhpHttpAuth
Author: Christian M. Jensen<EMAIL_ADDRESS>Version: 1.0.0
Since: 1.0.0
Located at src/CJPGDK/PhpHttpAuth/Database/DB.php
Namespace: CJPGDK\PhpHttpAuth\Database
Package: CJPGDK\PhpHttpAuth
Author: Christian M. Jensen<EMAIL_ADDRESS>Version: 1.0.0
Since: 1.0.0
Located at src/CJPGDK/PhpHttpAuth/Database/DB.php
abstract public
boolean
|
|
abstract public
object[]
|
|
abstract public
object
|
|
abstract public
boolean
|
|
abstract public
|
|
protected
|
|
protected
mixed
|
|
protected
|
|
protected
mixed
|
|
protected
|
#
setConnectionDatabseName( mixed $dbName, mixed $default = null )
Set the databsename to use when connecting to the database |
protected
mixed
|
|
protected
|
#
setConnectionPassword( mixed $passwd, mixed $default = null )
Set the password to use when connecting to the database |
protected
mixed
|
|
protected
|
#
setConnectionUser( mixed $user, mixed $default = null )
Set the username to use when connecting to the database |
protected
mixed
|
|
protected
|
|
protected
mixed
|
protected
array
|
$dbConnectionSettings
|
#
array(
'host' => null,
'user' => null,
'passwd' => null,
'databsename' => null,
'port' => null,
'socket' => null,
)
|
public
string
|
$usersTableName
Name of the table that holds the users |
#
"users"
|
public
array
|
$tableColumns
An array that indicates the names of the columns in the table that contains the users |
#
array(
'id' => 'id_users',
'username' => 'username',
'password' => 'password'
)
|


Data Fields | |
| int | iCapabilities |
| int | iSupportedStates |
| int | iNumberOfPerformanceLevels |
| ADLOD6ParameterRange | sEngineClockRange |
| ADLOD6ParameterRange | sMemoryClockRange |
| int | iExtValue |
| Value for future extension. | |
| int | iExtMask |
| Mask for future extension. |
This structure is used to store information about Overdrive 6 capabilities
Contains a bitmap of the OD6 capability flags. Possible values: ADL_OD6_CAPABILITY_SCLK_CUSTOMIZATION, ADL_OD6_CAPABILITY_MCLK_CUSTOMIZATION, ADL_OD6_CAPABILITY_GPU_ACTIVITY_MONITOR
Contains a bitmap indicating the power states supported by OD6. Currently only the performance state is supported. Possible Values: ADL_OD6_SUPPORTEDSTATE_PERFORMANCE
Number of levels. OD6 will always use 2 levels, which describe the minimum to maximum clock ranges. The 1st level indicates the minimum clocks, and the 2nd level indicates the maximum clocks.
Contains the hard limits of the sclk range. Overdrive clocks cannot be set outside this range.
Contains the hard limits of the mclk range. Overdrive clocks cannot be set outside this range.
Value for future extension.
Mask for future extension.


StyleMode property allows the user to change the style of the elements.
Outlined Buttons
In need of a button, but not the hefty background colors they bring? Just add the class
outlined to remove all background images and colors on any button.
Setting the outlined property the elements turn into outlined buttons with no filling untill
hovered.
Buttons Sizes
Fancy larger or smaller buttons? Just set the sizeMode property to 'sm' or 'lg' for
additional sizes.
Large ButtonLarge Button
Small ButtonSmall Button
Buttons can be reset back to normal if SizeMode is set to an empty string.
Disabled Buttons
PrimarySecondary
To disable/enable an element just set the disabled property.
Bootstrap Checkbox
Checkboxes are buttons that can be toggled. The checked state of these buttons can be updated via
click or by setting the checked property to true.
Checkboxes like the other toggle buttons can be pre-checked.
CheckedUnchecked
Appling/Removing the checked attribute will toggle the state of the button.
Bootstrap Toggle Button
CheckedUnchecked
Add the checked attribute to toggle a button’s active state. If you’re pre-toggling a button,
you must manually add the checked attribute to the button.
Bootstrap Radio Button
ActiveRadioRadio
Radio buttons are group elements that allow only one of them to be checked. Similar to the other
toggle elements to set a button into checked state the property checked has to be applied to
the element.
All elements that have the same group property are considered to be in the same group.
group can be set on initialization.
Bootstrap Dropdowns
Dropdowns are toggleable, contextual overlays for displaying lists of links and more.
They’re toggled by clicking, not by hovering; this is an intentional design decision.
Dropdowns are built using the Smart Framework's DropDownPositioning API, which provides
dynamic positioning and viewport detection.
No additional references are required since the API is part of the base class
smartelements.js.
Bootstrap’s dropdowns are designed to be generic and applicable to a variety of situations and
markup structures.
For instance, it is possible to create dropdowns that contain additional inputs and form controls,
such as search fields or login forms.
However, Bootstrap does add built-in support for most standard keyboard menu interactions, such as
the ability to move through individual .dropdown-item elements using the cursor keys and close the
menu with the ESC key.
In order for a DropDown item to visually appear as an item it is neccessary to add the class
.dropdown-item.
Similarly, create split button dropdowns with virtually the same markup as single button dropdowns,
but with the addition of .dropdown-toggle-split for proper spacing around the dropdown caret.
We use this extra class to reduce the horizontal padding on either side of the caret by 25% and
remove the margin-left that’s added for regular button dropdowns.
Those extra changes keep the caret centered in the split button and provide a more appropriately
sized hit area next to the main button.
Optionally you can use <button> elements in your dropdowns instead of just <a>'s.
Custom alignment
If you want to use custom positioning instead of the dynamic, create a callback and pass it to the
customDropDownPositionCallback property.
To align right the dropdown menu with the given breakpoint or larger, add
.dropdown-menu{-sm|-md|-lg|-xl}-right to the drop down.
To align left the dropdown menu with the given breakpoint or larger, add .dropdown-menu-right and
.dropdown-menu{-sm|-md|-lg|-xl}-left to the drop down.
Menu content
Headers
Add a header to label sections of actions in any dropdown menu.
Place any freeform text within a dropdown with text and use spacing utilities. Note that you’ll
likely need additional sizing styles to constrain the menu width.
Some example text that's free-flowing within the dropdown menu.
And this is more example text.
Methods
Public methods can be called directly on the element.
Method
Description
toggle()
Toggles the dropdown.
show()
Shows the dropdown.
hide()
Hides the dropdown menu.
update()
Updates the position of an element’s dropdown.
dispose()
Destroys the element.
Events
Events are fired directly from the element.
Event
Description
show
This event fires immediately when the show instance method is called.
shown
This event is fired when the dropdown has been made visible to the user (will wait for
CSS transitions, to complete).
hide
This event is fired immediately when the hide instance method has been called.
hidden
This event is fired when the dropdown has finished being hidden from the user (will wait
for CSS transitions, to complete).
Binding to events is easy and simple:
Bootstrap Input Groups
Easily extend form controls by adding text, buttons, or button groups on either side of textual
inputs, custom selects, and custom file inputs.
Basic example
Place one add-on or button on either side of an input. You may also place one on both sides of an
input. Remember to place <label>s outside the input group.
Input groups wrap by default via flex-wrap: wrap in order to accommodate custom form field
validation within an input group. You may disable this with the noWrap property.
@
Sizing
Add the sizeMode property in order to change the size of the input group.
SmallDefaultLarge
Checkbox and radios
Place any checkbox or radio option within an input group’s addon instead of text.
Multiple inputs
While multiple <input>s are supported visually, validation styles are only available for input
groups with a single <input>.
First and last name
Multiple addons
Multiple add-ons are supported and can be mixed with checkbox and radio input elements.
$0.00$0.00
Buttons addons
Input groups with Bootstrap Button as addons.
ButtonButtonButtonButtonButtonButton
Buttons with dropdowns
Input groups with Bootstrap Dropdowns that contains Bootstrap buttons as addons.
Use Smart's Bootstrap JavaScript modal to add dialogs to your site for lightboxes, user
notifications, or completely custom content.
How it works
Before getting started with Bootstrap’s modal component, be sure to read the following as our menu
options have recently changed.
Modals are built with HTML, CSS, and JavaScript. They’re positioned over everything else in the
document and remove scroll from the
so that modal content scrolls instead.
Clicking on the modal “backdrop” will automatically close the modal.
Bootstrap only supports one modal window at a time. Nested modals aren’t supported as we believe
them to be poor user experiences.
Modals use position: fixed, which can sometimes be a bit particular about its rendering.
Whenever possible, place your modal HTML in a top-level position to avoid potential interference
from other elements.
You’ll likely run into issues when nesting a .modal within another fixed element.
Once again, due to position: fixed, there are some caveats with using modals on mobile devices.
See our browser support docs for details.
Due to how HTML5 defines its semantics, the autofocus HTML attribute has no effect in Bootstrap
modals. To achieve the same effect, use some custom JavaScript:
Below is a static modal example (meaning its position and display have been overridden). Included
are the modal header, modal body (required for padding), and modal footer (optional). We ask that
you include modal headers with dismiss actions whenever possible, or provide another explicit
dismiss action.
Modal title
Modal body text goes here.
Live demo
Toggle a working modal demo by clicking the button below. It will slide down and fade in from the
top of the page.
Modal title
Modal body text goes here.
Scrolling long content
When modals become too long for the user’s viewport or device, they scroll independent of the page
itself. By default all modals are with auto height.
Modal title
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
You can also create a scrollable modal that allows scroll the modal body by setting the
scrollable property:
Modal title
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Vertically centered
Add the centered property to vertically center the modal.
Modal title
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Modal title
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Aenean lacinia bibendum nulla sed consectetur. Praesent commodo cursus magna, vel scelerisque
nisl consectetur et. Donec sed odio dui. Donec ullamcorper nulla non metus auctor fringilla.
Cras mattis consectetur purus sit amet fermentum. Cras justo odio, dapibus ac facilisis in,
egestas eget quam. Morbi leo risus, porta ac consectetur ac, vestibulum at eros.
Praesent commodo cursus magna, vel scelerisque nisl consectetur et. Vivamus sagittis lacus
vel augue laoreet rutrum faucibus dolor auctor.
Varying modal content
Have a bunch of buttons that all trigger the same modal with slightly different contents?
Below is a live demo followed by example HTML and JavaScript. For more information, read the modal
events docs for details on relatedTarget.
New message
Changing the contnet of the input inside the modal is simple as that:
Change Animation
Animation is purely made via CSS. The default animation depends on the CSS class fade.
Removing that class will disable it.
Embedding YouTube videos
Embedding YouTube videos in modals requires additional JavaScript not in Bootstrap to automatically
stop playback and more.
Optional Sizes
Modals have three optional sizes, available via modifier classes to be placed on a Modal
These sizes kick in at certain breakpoints to avoid horizontal scrollbars on narrower viewports.
Size
Class
Modal max-width
Small
.modal-sm
300px
Default
None
500px
Large
.modal-lg
800px
Extra large
.modal-xl
1140px
Extra large modal
...
Usage
The modal plugin toggles your hidden content on demand. It also
adds .modal-open to the <body> to override default scrolling behavior and generates a
.modal-backdrop to provide a click area for dismissing shown modals when clicking outside the modal.
Properties
The following properties are available:
Name
Type
Default
Description
backdrop
string
true
Includes a modal-backdrop element. Alternatively, specify static for a
backdrop which doesn't close the modal on click or 'none' if you don't want to have a
.modal-backdrop element.
focus
boolean
true
Puts the modal in focus if true.
keyboard
boolean
true
Closes the modal when escape key is pressed
opened
boolean
false
Shows the modal when initialized.
centered
boolean
false
Determines if the Modal is center or not.
scrollable
boolean
false
Determines if the Modal's body is scrollable or not.
sizeMode
string
''
Determines the size of the modal. Possible values are: 'xl', 'lg', 'sm', ''. Empty
string is the default size ( medium ).
Proeprties can be set as attributes on the Tag of the HTML element or during the window.onload stage
via Javascript.
Methods
toggle
Manually toggles the modal. If the modal is opened this method will close it and vice versa.
show
Manually opens the modal.
hide
Manually opens the modal.
handleUpdate
Manually readjust the modal’s position if the height of a modal changes while it is open (i.e. in
case a scrollbar appears).
dispose
Removes the element from the DOM.
Events
Smart's Bootstrap modal class exposes a few events for hooking into modal functionality. All modal
events
are fired at the modal itself (i.e. at the <bootstrap-modal>)
Event Type
Description
show
This event fires immediately when the show instance method is called.
shown
This event is fired when the modal has been made visible to the user (will wait for CSS
transitions to complete).
hide
This event is fired immediately when the hide instance method has been
called.
hidden
This event is fired when the modal has finished being hidden from the user (will wait
for CSS transitions to complete).
Bootstrap Forms
Examples and usage guidelines for form control styles, layout options, and custom components for
creating a wide variety of forms.
Overview
Bootstrap’s form controls expand on our Rebooted form styles with classes. Use these classes to opt
into their customized displays for a more consistent rendering across browsers and devices.
Be sure to use an appropriate type attribute on all inputs (e.g., email for email address or number
for numerical information) to take advantage of newer input controls like email verification, number
selection, and more.
Here’s a quick example to demonstrate Bootstrap’s form styles. Keep reading for documentation on
required classes, form layout, and more.
Form controls
Textual form controls—like <input>s, <select>s, and <textarea>s—are styled with the
.form-control class. Included are styles for general appearance, focus state, sizing, and more.
Sizing
Set heights using classes like .form-control-lg and .form-control-sm.
Readonly plain text
If you want to have <input readonly> elements in your form styled as plain text, use the
.form-control-plaintext class to remove the default form field styling and preserve the correct
margin and padding.
Range Inputs
Set horizontally scrollable range inputs using .form-control-range.
Checkboxes and radios
Default checkboxes and radios are improved upon with the help of .form-check, a single class for
both input types that improves the layout and behavior of their HTML elements. Checkboxes are for
selecting one or several options in a list, while radios are for selecting one option from many.
Disabled checkboxes and radios are supported. The disabled attribute will apply a lighter color to
help indicate the input’s state.
Checkboxes and radios use are built to support HTML-based form validation and provide concise,
accessible labels. As such, our <input≶s and <label≶s are sibling elements as opposed to
an <input≶
within a <label≶. This is slightly more verbose as you must specify id and for attributes to
relate the <input≶ and <label≶.
Default (stacked)
Inline
Group checkboxes or radios on the same horizontal row by adding .form-check-inline to any
.form-check.
Horizontal form
Create horizontal forms with the grid by adding the .row class to form groups and using the .col-*-*
classes to specify the width of your labels and controls. Be sure to add .col-form-label to your
<label>s as well so they’re vertically centered with their associated form controls..
Layout
Since Bootstrap applies display: block and width: 100% to almost all our form controls, forms will by
default stack vertically. Additional classes can be used to vary this layout on a per-form basis.
Form groups
The .form-group class is the easiest way to add some structure to forms. It provides a flexible
class that encourages proper grouping of labels, controls, optional help text, and form validation
messaging. By default it only applies margin-bottom, but it picks up additional styles in
.form-inline as needed. Use it with <fieldset>s, <div>s, or nearly any other element.
Form grid
More complex forms can be built using our grid classes. Use these for form layouts that require
multiple columns, varied widths, and additional alignment options.
Form row
You may also swap .row for .form-row, a variation of our standard grid row that overrides the
default column gutters for tighter and more compact layouts.
Be sure to use .col-form-label-sm or .col-form-label-lg to your <label>s or <legend>s to
correctly follow the size of .form-control-lg and .form-control-sm.
Column sizing
As shown in the previous examples, our grid system allows you to place any number of .cols within a
.row or .form-row. They’ll split the available width equally between them. You may also pick a
subset of your columns to take up more or less space, while the remaining .cols equally split the
rest, with specific column classes like .col-7.
Inline forms
Use the .form-inline class to display a series of labels, form controls, and buttons on a single
horizontal row. Form controls within inline forms vary slightly from their default states.
Controls are display: flex, collapsing any HTML white
space and allowing you to provide alignment control with spacing and flexbox utilities.
Controls and input groups receive width: auto to
override
the Bootstrap default width: 100%.
Controls only appear inline in viewports that are at least 576px wide to
account for narrow viewports on mobile devices.
You may need to manually address the width and alignment of individual form controls with spacing
utilities (as shown below). Lastly, be sure to always include a <label> with each form
control, even
if you need to hide it from non-screenreader visitors with .sr-only.
Disabled forms
Add the disabled boolean attribute on an input to prevent user interactions and make it appear
lighter.
Add the disabled attribute to a <fieldset> to disable all the controls within.
Validation
Provide valuable, actionable feedback to your users with HTML5 form validation–available in all our
supported browsers. Choose from the browser default validation feedback, or implement custom
messages with our built-in classes and starter JavaScript.
How it works
Here’s how form validation works with Bootstrap:
HTML form validation is applied via CSS’s two pseudo-classes, :invalid and :valid.
It applies to <input>, <select>, and <textarea> elements.
Bootstrap scopes the :invalid and :valid styles to parent .was-validated class, usually applied to the <form>. Otherwise, any required field without a value
shows up as invalid on page load. This way, you may choose when to activate them (typically
after form submission is attempted).
To reset the appearance of the form (for instance, in the case of dynamic form submissions using
AJAX), remove the .was-validated class from the <form> again after submission.
As a fallback, .is-invalid and .is-valid classes may be used instead of the pseudo-classes
for server side validation. They do not require a .was-validated parent class.
Due to constraints in how CSS works, we cannot (at present) apply styles to a <label> that comes before a form control in the DOM
without the help of custom JavaScript.
All modern browsers support the constraint
validation API, a series of JavaScript methods for validating form controls.
Feedback messages may utilize the browser defaults (different
for each browser, and unstylable via CSS) or our custom feedback styles with additional HTML and
CSS.
You may provide custom validity messages with setCustomValidity in JavaScript.
With that in mind, consider the following demos for our custom form validation styles, optional
server side classes, and browser defaults.
Custom styles
For custom Bootstrap form validation messages, you’ll need to add the novalidate boolean attribute
to your <form>. This disables the browser default feedback tooltips, but still provides access
to
the form validation APIs in JavaScript. Try to submit the form below; our JavaScript will
intercept the submit button and relay feedback to you. When attempting to submit, you’ll see the
:invalid and :valid styles applied to your form controls.
Custom feedback styles apply custom colors, borders, focus styles, and background icons to better
communicate feedback. Background icons for <select>s are only available with .custom-select,
and not
.form-control.
Custom forms
For even more customization and cross browser consistency, use our completely custom form elements
to replace the browser defaults. They’re built on top of semantic and accessible markup, so they’re
solid replacements for any default form control.
Checkboxes and radios
Each checkbox and radio <input> and <label> pairing is wrapped in a <div> to
create our custom
control. Structurally, this is the same approach as our default .form-check.
We use the sibling selector (~) for all our <input> states—like :checked—to properly style
our custom form indicator. When combined with the .custom-control-label class, we can also
style the text for each item based on the <input>’s state.
We hide the default <input> with opacity and use the .custom-control-label to build a new
custom form indicator in its place with ::before and ::after. Unfortunately we can’t build a
custom one from just the <input> because CSS’s content doesn’t work on that element.
In the checked states, we use base64 embedded SVG icons from Open Iconic. This provides us
the best control for styling and positioning across browsers and devices.
Checkboxes
Custom checkboxes can also utilize the :indeterminate pseudo class when manually set via JavaScript
(there is no available HTML attribute for specifying it).
The following code should set the checkbox input to inditerminate state
Radios
Inline
Disabled
Custom checkboxes and radios can also be disabled. Add the disabled boolean attribute to the
<input>
and the custom indicator and label description will be automatically styled.
Switches
A switch has the markup of a custom checkbox but uses the .custom-switch class to render a toggle
switch. Switches also support the disabled attribute.
Select menu
Custom <select> menus need only a custom class, .custom-select to trigger the custom styles.
Custom
styles are limited to the <select>’s initial appearance and cannot modify the <option>s
due to
browser limitatio
Range
Create custom <input type="range"> controls with .custom-range. The track (the background) and
thumb
(the value) are both styled to appear the same across browsers. As only IE and Firefox support
“filling” their track from the left or right of the thumb as a means to visually indicate progress,
we do not currently support it.
File browser
The file input is the most gnarly of the bunch and requires additional JavaScript if you’d like to
hook them up with functional Choose file… and selected file name text.
We hide the default file <input> via opacity and instead style the <label>. The button
is generated
and positioned with ::after. Lastly, we declare a width and height on the <input> for proper
spacing for surrounding content.
Tabs
There are three types of Tab controls : nav, tab and pills. The tabType property determines
the type. By default it's set to 'tabs'.
Navs
Navigation available in Bootstrap share general markup and styles, from the base .nav class to the
active and disabled states. Swap modifier classes to switch between each style.
Navigation available in Bootstrap share general markup and styles, from the base .nav class to the
active and disabled states. Swap modifier classes to switch between each style.
Change the horizontal alignment of your nav with flexbox utilities. By default, navs are
left-aligned, but you can easily change them to center or right aligned via the align
property.
Here's the default appearance of the Smart's bootstrap Tabs control. Setting the tabType
property to 'tabs' will also change the the element to it's default state.
Force your Tab contents to extend the full available width one of two modifier classes. To
proportionately fill all available space with your .nav-items, set the fill property. Notice
that all
horizontal space is occupied, but not every nav item has the same width.
For equal-width elements, set the justified property. All horizontal space will be occupied
by nav links,
but unlike the fill above, every nav item will be the same width.
If you’re using navs to provide a navigation bar, be sure to add a role="navigation" to the element.
Note that navigation bars, even if visually styled as tabs with the tabType="tabs" property,
should not be given role="tablist", role="tab" or role="tabpanel" attributes. These are
only appropriate for dynamic tabbed interfaces, as described in the WAI ARIA Authoring
Practices. See JavaScript behavior for dynamic tabbed interfaces in this section for an
example.
Dynamic tabbed interfaces, as described in the WAI ARIA Authoring Practices, require role="tablist",
role="tab", role="tabpanel", and additional aria- attributes in order to convey their structure,
functionality and current state to users of assistive technologies (such as screen readers).
Note that dynamic tabbed interfaces should not contain dropdown menus, as this causes both usability
and accessibility issues. From a usability perspective, the fact that the currently displayed tab’s
trigger element is not immediately visible (as it’s inside the closed dropdown menu) can cause
confusion. From an accessibility point of view, there is currently no sensible way to map this sort
of construct to a standard WAI ARIA pattern, meaning that it cannot be easily made understandable to
users of assistive technologies.
Raw denim you probably haven't heard of them jean shorts Austin. Nesciunt tofu stumptown
aliqua, retro synth master cleanse. Mustache cliche tempor, williamsburg carles vegan
helvetica. Reprehenderit butcher retro keffiyeh dreamcatcher synth. Cosby sweater eu
banh mi, qui irure terry richardson ex squid. Aliquip placeat salvia cillum iphone.
Seitan aliquip quis cardigan american apparel, butcher voluptate nisi qui.
Food truck fixie locavore, accusamus mcsweeney's marfa nulla single-origin coffee squid.
Exercitation +1 labore velit, blog sartorial PBR leggings next level wes anderson
artisan four loko farm-to-table craft beer twee. Qui photo booth letterpress, commodo
enim craft beer mlkshk aliquip jean shorts ullamco ad vinyl cillum PBR. Homo nostrud
organic, assumenda labore aesthetic magna delectus mollit. Keytar helvetica VHS salvia
yr, vero magna velit sapiente labore stumptown. Vegan fanny pack odio cillum wes
anderson 8-bit, sustainable jean shorts beard ut DIY ethical culpa terry richardson
biodiesel. Art party scenester stumptown, tumblr butcher vero sint qui sapiente
accusamus tattooed echo park.
Etsy mixtape wayfarers, ethical wes anderson tofu before they sold out mcsweeney's
organic lomo retro fanny pack lo-fi farm-to-table readymade. Messenger bag gentrify
pitchfork tattooed craft beer, iphone skateboard locavore carles etsy salvia banksy
hoodie helvetica. DIY synth PBR banksy irony. Leggings gentrify squid 8-bit cred
pitchfork. Williamsburg banh mi whatever gluten-free, carles pitchfork biodiesel fixie
etsy retro mlkshk vice blog. Scenester cred you probably haven't heard of them, vinyl
craft beer blog stumptown. Pitchfork sustainable tofu synth chambray yr.
Raw denim you probably haven't heard of them jean shorts Austin. Nesciunt tofu stumptown
aliqua, retro synth master cleanse. Mustache cliche tempor, williamsburg carles vegan
helvetica. Reprehenderit butcher retro keffiyeh dreamcatcher synth. Cosby sweater eu
banh mi, qui irure terry richardson ex squid. Aliquip placeat salvia cillum iphone.
Seitan aliquip quis cardigan american apparel, butcher voluptate nisi qui.
Food truck fixie locavore, accusamus mcsweeney's marfa nulla single-origin coffee squid.
Exercitation +1 labore velit, blog sartorial PBR leggings next level wes anderson
artisan four loko farm-to-table craft beer twee. Qui photo booth letterpress, commodo
enim craft beer mlkshk aliquip jean shorts ullamco ad vinyl cillum PBR. Homo nostrud
organic, assumenda labore aesthetic magna delectus mollit. Keytar helvetica VHS salvia
yr, vero magna velit sapiente labore stumptown. Vegan fanny pack odio cillum wes
anderson 8-bit, sustainable jean shorts beard ut DIY ethical culpa terry richardson
biodiesel. Art party scenester stumptown, tumblr butcher vero sint qui sapiente
accusamus tattooed echo park.
Etsy mixtape wayfarers, ethical wes anderson tofu before they sold out mcsweeney's
organic lomo retro fanny pack lo-fi farm-to-table readymade. Messenger bag gentrify
pitchfork tattooed craft beer, iphone skateboard locavore carles etsy salvia banksy
hoodie helvetica. DIY synth PBR banksy irony. Leggings gentrify squid 8-bit cred
pitchfork. Williamsburg banh mi whatever gluten-free, carles pitchfork biodiesel fixie
etsy retro mlkshk vice blog. Scenester cred you probably haven't heard of them, vinyl
craft beer blog stumptown. Pitchfork sustainable tofu synth chambray yr.


Alex Payne: An Eduction Not for the Ages
- Charter School of San Diego
- University of Washington
- CodeFellows 401 in Python
The story of Alex starts on a rainy Thursday night in a New York City Hospital.......Then Alex.....Followed by Alex......Later Alex.....That Brings us to 2021 Alex loves playing video games(I've been playing Hearthstone for over 7 years\) and talking football. Generally considered a fool by friends and family alike Alex currently resides in seattle suburb of Lynnwood.
Currently I hope to just graduate and and work as a system Dev over at OfferUp once i'm done. Down the road I would like to work as an SRE(site reliability engineer) for a company or work as a machine learning engineer lofty goals but you gotta shot for the stars I always say!


My board just came in today. It is, umm... different. Typing on it is definitely going to take some getting used to. In fact, I am writing this post right now on it. It is painfully slow. I think that I am only at 50 wpm at the moment, when I used to average around 80-90 before. I'll write more about my objective journey on the next post. Right now, I feel like a sloth. I'm gonna spend a couple of hours on typeracer and typing.io to hopefully get a bit more comfortable on the keyboard.
 I have already created a repo for the project. Once I can type basic QWERTY at a reasonable speed, I'm going to start digging in to customizing the heck out this of this keyboard.
That's gonna be it for now, folks


Kojo Oppong Nkrumah supports ‘Buy Ghana Rice’ campaign
The Information Minister, Kojo Oppong Nkrumah has voiced his support for the production and consumption of local rice – an initiative that is being championed by Citi FM/Citi TV CEO, Samuel Attah-Mensah.
The Information Minister in a social media post explained that the campaign is a well-intended initiative with the potential to fuel Ghana’s agriculture growth agenda.
“Citi 97.3fm @citi973fm and Citi TV @cititvgh have just launched a Buy Ghana Rice Campaign.”
“It is a well-intended initiative that has the potential to fuel our agric growth agenda. Myself and the Ministry of Information team support this campaign and encourage you to support it too.”
Mr. Oppong Nkrumah also said his Ministry is well behind the campaign to ensure that Ghanaians patronize local rice produce.
He also called on Ghanaians and other media houses to join in supporting the campaign adding that the media has the power to focus the national conversation on promoting locally made rice to achieve positive results.
“In particular I want to encourage other media houses to support this campaign across board. The media has power to concentrate the national attention on a single positive subject to achieve results.”
Former Presidential candidate of the Convention Peoples Party (CPP) earlier on Tuesday also declared his support for the production and consumption of local rice.
In a post on Facebook, the politician also endorsed Samuel Attah-Mensah’s local rice consumption ambassadorship.
Mr. Greenstreet who has been consuming local rice for years was convinced that the campaign will help Ghana achieve self-sufficiency in rice production and consumption.


There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form, by injected humour, or randomised words which don't look even slightly believable. If you are going to use a passage of Lorem Ipsum, you need to be sure there isn't anything embarrassing hidden in the middle of text.
The point of using Lorem Ipsum is that it has a more-or-less normal distribution of letters, as opposed to using 'Content here, content here' There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form, by injected humour, to generate Lorem Ipsum which looks reasonable. The generated Lorem Ipsum is therefore always free from repetition, or randomised words which don't look even slightly believable.Lorem Ipsum available, but the majority have suffered alteration in some form, by injected humour.
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form, by injected humour, to generate Lorem Ipsum which looks reasonable. The generated Lorem Ipsum
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form, to generate Lorem Ipsum which looks reasonable or randomised.
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some to generate Lorem Ipsum which looks reasonable.


Fetch API
https://developer.mozilla.org/en-US/docs/Web/API/Fetch_API/Using_Fetch
https://github.com/github/fetch
Fetching from
http://www.icndb.com/api/
For full functionality of this site it is necessary to enable JavaScript. Here are the
instructions how to enable JavaScript in your web browser
.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/mathlib.20nightly.html ---
Is this possible? @Mario Carneiro (or maybe I could host it myself?)
I'm not seeing the gain. Mathlib doesn't change that fast
But there are no built versions of mathlib @Mario Carneiro
What is there to build? There are no mathlib build artifacts unless you mean olean
s
and I'm not sure how portable those files are
actually, what does o stand for
probably object
https://en.wikipedia.org/wiki/Object_file
which version of Lean does mathlib version 3d60e13
(released April 6) of the mathlib nightly use?
Is there a trick behind this question?
because I just updated Lean to 3.7.2 and then downloaded that mathlib version but Lean still needs to compile it
What does leanpkg.toml
say?
Also, are you using leanproject
?
leanprover-community/lean:3.7.2
no
So, if you download mathlib, why would you expect that Lean does not need to compile it?
Lean always needs to compile mathlib, right?
Unless you download binaries using a tool like leanproject
because I downloaded it from mathlib nightly
https://github.com/leanprover-community/mathlib-nightly/releases
Aaah, I have no experience with that
also I found that the released version of 3.7.2 is released 17 days ago while the repo was modified 2 days ago
maybe I need to use the version of 3.7.2 2 days ago?
but https://github.com/leanprover-community/lean/tree/v3.7.2 is last modified 17 days ago
If you just downloaded the release, it's most likely a timestamp issue.
Your life will be simpler if you switch to elan and leanproject. No worrying about finding the archives or the proper Lean version!
Rob Lewis said:
If you just downloaded the release, it's most likely a timestamp issue.
Weren't those solved in lean-3.7.2
?
Hmm, good point, my reflex response to "Lean is recompiling" is out of date.
Kenny Lau said:
maybe I need to use the version of 3.7.2 2 days ago?
The mathlib releases use the release versions of Lean so it shouldn't be this.
Just use leanproject and all your troubles are over.
what is leanproject?
@leanbot !tell @Kenny Lau about leanproject
XXX MINGW64 /c/mathlib $ /c/Users/Kenny\ Lau/.elan/bin/elan update info: syncing channel updates for 'stable' info: latest update on stable, lean version v3.7.2 info: downloading component 'lean' info: installing component 'lean' info: checking for self-updates stable updated - Lean (version 3.7.2, commit 44fb9f994d0f, Release) XXX MINGW64 /c/mathlib $ /c/Users/Kenny\ Lau/.elan/bin/lean --make src info: downloading component 'lean' info: installing component 'lean'
Am I doing this properly?
https://github.com/leanprover-community/mathlib/blob/master/docs/install/windows.md#get-scripts
No.
Kenny... you can be forgiven for entering college with a Windows machine... but shouldn't you be using Linux by now?
You should think of "Windows : Linux" as "classical : constructive"...
why... is python involved...???
Because Lean is a very bad scripting language
Johan Commelin said:
You should think of "Windows : Linux" as "classical : constructive"...
so… a lot of people are right to use windows? :stuck_out_tongue:
No.... only Kenny is wrong
@Kenny Lau I'm really sorry: Zulip doesn't have a :troll:
emoji.
I use " :upside_down: " for that
Ooh, I've used that one for many different things
while we're at it, what on earth is :octopus: used for? i've been wondering since i joined this chat.
happy happy joy joy
I think the octopus is clearly celebrating
I just used to used it randomly
i've seen it used for people finding bugs?
Well, I think it's a sort of Lean zulip meme. You can use it whenever you want (-;
I think this is purely Johan's creation, so if Johan says you can use it whenever you want, then you can.
what do I do after installing mathlibtools
?
No, I think Sean started it
Kenny Lau said:
what do I do after installing
mathlibtools
?
leanproject up
Gets you latest mathlib + binaries
where?
in root dir of project
what is leanproject
?
In /home/kenny/random_junk/mathlib/
Works for projects which have mathlib as a dependency, and for mathlib too. Downloads compiled oleans.
Kenny Lau said:
what is
leanproject
?
It's Patrick's brainchild.
Amazing stuff. Better than coke.
I don't understand
I just did pip3 install mathlibtools
Basically, we don't know how people ever managed their Lean projects without it
so where was it installed
https://github.com/leanprover-community/mathlib-tools/blob/master/README.md
leanproject is a python script which tries to make stuff easy for the beginner. It does everything which someone at Xena wants doing when their code doesn't work.
It was installed on your computer
Hopefully in your PATH
It's Patrick's brainchild.
Actually it builds on a lot of previous work by many people.
where is leanproject
located?
my PATH doesn't have much to it
What OS?
windows
Kenny Lau said:
where is
leanproject
located?
If you try pip3 install --user mathlibtools
, is it better?
If your python setup is sane then you don't need to know where leanproject
lives.
pip3 will try to install in a global system-packages, but sometimes, you'll encounter permissions issues because your Windows shell is not Administrator
I don't even have pip
in my path, I just type the address manually
@Kenny Lau If you want to make it easier for you, you can use this kind of stuff: https://chocolatey.org/
Well, use the Windows search tool to find leanproject
somewhere on your hard drive...
$ /c/Python-3.6.4/python -m pip install mathlibtools
@Kenny Lau If Python is not in your PATH, even if you install the package, Python might not know where to search
then where did python install the package to?
@Kenny Lau Most likely under /c/Python-3.6.4/<some folders>
or in some $AppData/…
/c/Python-3.6.4/site-packages/leanproject/
??
This might help you more than what I say, @Kenny Lau : https://docs.python.org/3/using/windows.html
I found it in C:\Python-3.6.4\Scripts
how do I link VSCode to elan?
more specifically how do I tell VSCode to use the lean installed by elan?
On the first page of the installer, an option labelled “Add Python to PATH” may be selected to have the installer add the install location into the PATH. The location of the Scripts\ folder is also added.
Kenny Lau said:
more specifically how do I tell VSCode to use the lean installed by elan?
Follow the install instructions?
I have C:\Users\Kenny Lau\.elan\bin
in my PATH
but when I type lean
, it says command not found
and /c/Users/Kenny\ Lau/.elan/bin/lean
works fine
Does the \
matter?
As in, should that also be in your PATH?
/me doesn't know windows
oh right, VSCode can never use elan because VSCode can't have spaces
maybe i need to copy the elan to a different folder
oh and I just added C:\Python-3.6.4\Scripts
to my PATH but leanproject
is still command not found
Kenny Lau said:
oh right, VSCode can never use elan because VSCode can't have spaces
theorically you can escape spaces like you've done /c/Users/Kenny\ …/…
Kenny Lau@DESKTOP-F01EMD3 MINGW64 ~ $ leanproject bash: leanproject: command not found Kenny Lau@DESKTOP-F01EMD3 MINGW64 ~ $ /c/Python-3.6.4/Scripts/leanproject Usage: leanproject [OPTIONS] COMMAND [ARGS]... [...]
Kenny Lau said:
oh and I just added
C:\Python-3.6.4\Scripts
to my PATH butleanproject
is still command not found
Did you close and restart the shell?
yes I did
Kenny Lau said:
yes I did
what does echo $PATH
says?
things completely different from my windows path
where is this secret path stored?
Kenny Lau said:
where is this secret path stored?
you're using MinGW apparently, so I guess they have their own PATH stuff
you might be looking for some .bashrc or .profile file and do export PATH="my desired path":$PATH
in this file
It's becoming difficult and I think it's simpler if you use something else because it'll get harder to debug
I guess that's why I just type the full address... :'D
Kenny Lau said:
I guess that's why I just type the full address... :'D
Wouldn't you like to use something else? Like https://conemu.github.io/ — those are pretty great terminals on Windows
thanks to y'all I now have a botched solution
and I finally have the latest version of mathlib installed
Doesn't it say in the docs not to use MinGW?
Oh it's msys2 they recommend avoiding. They recommend git bash
Kevin Buzzard said:
Oh it's msys2 they recommend avoiding. They recommend git bash
AFAIK, MSYS2 is used by MinGW 64 bits but I could be wrong, it was those times when I had to use Windows…
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


onion-config: layer-based config/data manager
Provides object storage with layers overlapping and dynamic update support.
Usage
npm install --save onion-config
const Onion = require('onion-config');
const onion = new Onion();
// ENV contains value like some_foo = '{bar: 12345}'
await onion.addLayer(new Onion.LAYERS.Env({ prefix: 'some_', json: true, }));
onion.get('foo.bar'); // => '12345'
await onion.addLayer(new Onion.LAYERS.SimpleObject({
data: {
foo: {
bar: 'baz'
},
},
}));
onion.get('foo.bar') // => 'baz'
Idea of layers
Every next added layer merges over previous just in moment of build, on first access (.get()
) or
on explicit build call (.compile
, .recompile()
).
Value .get()
method uses path notation like some.thing.here
to access inner parts of stored data. After building.get()
works just with merged .data
object until next .recompile()
call.
Links
To reuse big parts of your configs, you can use links. Just add value with path to other key, prefixed with @
:
const onion = new Onion({ links: true });
await onion.addLayer(new Onion.LAYERS.SimpleObject({
data: {
resources: {
databases: {
MySQL: {
host: 'localhost',
},
},
},
services: {
login<EMAIL_ADDRESS>},
}
}));
onion.get('services.login') // => { 'host': 'localhost' }
Supported config sources (Layers)
Simple object
In-code storage, not recommended. Just keeps data from given data
option.
await onion.addLayer(new Onion.LAYERS.SimpleObject({
data: {
foo: {
bar: 12345
},
},
}));
onion.get('foo.bar') // => 12345
Env parser
It parses environment variables, filtering it by prefix
and supports JSON-serialized values if json
option is true
.
In addition, possible to change parsing with parsingSeparator
option.
Warning: prefix
option is just a filter for keys while parsing and it will not appear in the parsing results!
await onion.addLayer(new Onion.LAYERS.Env({ prefix: 'some_', json: true, }));
Hashicorp Vault KV2 storage
HashiCorp Vault layer, now just with kv2
engine support.
Loads all keys in basePath
and stores it. Useful for micro services. Keys version support in process.
If renewInterval
set above 0, then layer will renew token TTL above minTtl
value periodically (every renewInterval
seconds)
await onion.addLayer(new Onion.LAYERS.Vault({
url: env.VAULT_URL,
token: env.VAULT_TOKEN,
basePath,
renewInterval: 0,
minTtl: 7200,
}));


Lessons
"I would teach children music, physics, and philosophy; but most importantly music, for the patterns in music and all the arts are the keys to learning." - Plato
I offer private instruction for harp, piano, and voice in the East Seattle region.
I teach in the following areas - Bothell, Kirkland, Redmond, Bellevue, Woodinville, Duvall and Kenmore.
All ages and experience levels are welcome.
I teach in-home, meaning that I travel to you for lessons for your convenience.
Please email for rates and availability here .
Teaching Philosophy
My aim is to help every student experience success by customizing lessons to each student’s unique learning style and areas of interest.
Lessons are fun and upbeat, and I use a variety of exciting teaching tools such as lesson and theory books, games, and flashcards.
I teach fundamental musical concepts while helping students learn to play the songs that they love.
Harp
Master harp technique and learn to play songs you enjoy.
I will help you develop proper playing technique, read music notation, study music theory, prepare you to perform, and even help you compose your own songs.
I also provide help finding a harp for you to rent or purchase.
Piano
Whether you want to play pop, rock, classical, r&b, Disney, Broadway, hymns, holiday tunes, or any other genre of your choosing, I will help you learn to both read and play piano music.
All students learn the basics of music notation, hand positions, fingering, and pedal skills.
I will even help you compose your own songs if you have interest.
Voice
Each person has certain intuitive vocal abilities.
My approach in voice lessons is to discover these abilities and fill in the gaps of each student’s vocal understandings.
I specialize in teaching musical theater and contemporary vocal styles.
Students learn proper singing posture, how to control and optimize breathing, how to warm up the voice correctly, basic music notation reading, stylistic interpretation, and performance techniques.
Policy
In order to make lessons productive, I have established some simple policies. Highlights include:
A Predictable Calendar:
I am present and prepared to teach 41 weeks a year.
Please make note of the weeks I am not scheduled to teach so that you can plan accordingly.
You can see my 2017 calendar here .
Simple Monthly Tuition:
It is easy to budget for lessons as I charge a consistent monthly tuition rate -
one check per month for the same amount regardless of the number of weeks in any month.
Missed Lesson Alternatives:
I offer some reasonable alternatives if you must miss a lesson.
A "no make-ups" policy allows me to give every student the energy and instruction they deserve.
You can read my 2017 policy here .
What does my tuition cover?
Time spent teaching the student during lessons
Time spent preparing for and customizing lessons
My commute to your home for lessons
Recital costs and preparations
Operational expenses
For every hour enrolled in music lessons, you are investing in at least two hours of your teacher’s time.
Student Showcase
VIDEO
Review my student YouTube channel. .
Reviews
"Elizabeth is an incredible teacher. Both of my girls take lessons from her, one in harp and the other in voice. She is a fun and patient teacher, catering to each student's learning style and ability. We highly recommend Elizabeth." -Tiffany M.
"Elizabeth is a fabulous teacher! She has such great rapport with my daughter who just turned 6. We are so happy with how quickly she has progressed and are grateful to Elizabeth for instilling such a great passion for music in our daughter." -Shirley A.
"Elizabeth has inspired my daughter to want to practice and learn the piano. She knows how to inspire kids to love music and teaches good technique and theory in the process!" -Sandi P.
Close


|
Misc
1.2.2
Miscellanous features and functionality not worthy of individual projects
|
Base class used to implement a Singleton pattern. More...
#include <Misc/Singleton.h>
Protected Member Functions | |
| Singleton () | |
| Constructor. More... | |
| ~Singleton () | |
| Destructor. More... | |
Static Protected Member Functions | |
| static Singleton * | Instance () |
| Returns the instance of this class, or nullptr if it hasn't been instantiated yet. | |
Base class used to implement a Singleton pattern.
This class is used to implement a Singleton pattern. In order to use this class, you must follow these steps:
Derive from this class privately.
Implement a function that returns the instance of the derived class and instantiates as follows (where T is is the name of the derived class):
| T | Class that inherits from this class |
Constructor.
The constructor simply saves the address of the instance. This marks the class as having been instantiated, as the value returned by Instance() is no longer 0.


Wireframe Sites
Reddit is trying to give you content based on popularity and your preferences. Reddit suffers from a clutter problem. Proper spacing, cleaner lines, better use of white space, and colors can help give a better sense of boundaries and natural grouping.
Quora
Quora tries to provide a Q&A site where reputation (aka upvote and downvote) drives the popularity and legitimacies of the answers. Quora's website is very clean and might not benefit much from a redesign unless users cry for a change or extension of its current raison d'etre.
Buzzfeed
Buzzfeed brings you the hightlights of entertaining topics. While buzzfeed makes great use of images to entice and entertain, it may benefit from de-emphasizing the images and creating more of a headings based list view. Having too many images can make the website can create too much visual cacaphony.


This page has attribute lang="fr" in its html declaration. In French, the decimal separator is not a dot "." but a comma ",". In certain circumstances, the mobile keybord protects the user from writing the decimal part of a number.
The following number are written using locale "fr". Choose one to reinitiate input field.
Try to change the next field to a decimal value, even when the initial value is 0.


Calculate your age on different planets
Date of Birth
Average Life Expectancy
Calculate
Earth
Age:
Years left:
Mercury
Age:
Years left:
Venus
Age:
Years left:
Mars
Age:
Years left:
Jupiter
Age:
Years left:


Hip Hop Entrepreneurship
It's hard to listen to hip hop without hearing it's entrepreneurial spirit. More than any other musical type, hip-hop is all about marketing and business.
The most successful artists are excellent at self-promotion, diversification, and image.
It makes sense taking into account many hip hop successes have previously sold some type of drug, which is a business. Eazy-E put together enough drug money to create NWA. Most of us are thankful he did. Tweet This
Sean Combs
Diddy has to be the master "brander." Anyone who can change there own brand three times is pretty amazing. First was Sean Combs, then "Puff Daddy," into "P. Diddy," into just "Diddy".
He also has a massive empire including: * A restaurant chain called Justin's * Two clothing brands, Sean John and Enyce. * Ciroc Vodka
Jay-Z
The master of diversification. Jay-Z leads the way by having most hip-hop artists follow in his footsteps. Jay-Z starts a clothing line, other hip-hop artists start a clothing line.
His Empire Includes: * Music Company, Roc Nation, a 10-year profit sharing venture with Live Nation * Rocawear - Clothing Line. * Carol's Daughter - A beauty line. * New Jersey Nets * Sports Bar Chain (40/40 Club) * The Spotted Pig (Restaurant)
50 Cent and Energy Brands
Curtis Jackson, a.k.a 50 Cent made a fortune when Energy Brands (Glaceau) was sold to Coca-cola. When the CEO of Energy Brands, J. Darius Bikoff, discovered that 50 Cent was a fan of Vitamin Water, Bikoff made the most of the opportunity. 50 Cent received 10% of the company for being a spokesman for Vitamin Water in October of 2004.
Paul Wall
Paul Wall is an excellent marketer. He built a huge following in Houston, Texas. Once he was discovered on a national level, the first thing he does is start promoting his own brand of grillz.
Venture Capital
Ben Horowitz - If you didn't know, Ben is a huge fan of rap and hip hop music. Every post I have read on Mr. Horowitz blog has a rap quote to introduce the article.


title = "404.htm" url = "/404" layout = 404 description = "Default 404 Page" is_hidden = 0 child_of = "mey_no_parent" hide_crumb = 0 remove_crumb_trail = 0 crumb_disabled = 0 ==


Using IT support has many benefits, but for small businesses, the most important thing is that external IT support allows you to concentrate on your business, whilst retaining confidence in your IT systems – and at a much lower cost than employing your own IT expert.
Front End Developer
Back End Developer
UI/UX Designer
...
Using IT support has many benefits, but for small businesses, the most important thing is that external IT support allows you to concentrate on your business, whilst retaining confidence in your IT systems – and at a much lower cost than employing your own IT expert.
Using IT support has many benefits, but for small businesses, the most important thing is that external IT support allows you to concentrate on your business, whilst retaining confidence in your IT systems – and at a much lower cost than employing your own IT expert.


---
title: Top 4 Most Fun Learning Games for PC
author: Miles Exner
---
Where in the World is Carmen Sandiego?
To find Carmen Sandiego, you need to follow the clues with the knowledge you gain about cities of the world.
Oregon Trail
You needed to learn about resource and risk management with some landmarks and history along the way.
Microsoft Encarta
From answering Confuscious' questions to Particle-Wave Duality experiments, these mini games burned into the memory banks.
Rocksmith
What is better than Rockband and/or Guitar Hero? Using a real guitar.
Microsoft Flight Simulator
A flight simulator that is realistic enough to log training hours.
You Don't Know Jack
Knowledge cannot only be fun, but funny as well.


Short Story
Follow a series of blogs about women empowerment.
Women's Voices For Change
Since Nov 2006
Women's Voices for Change is a news, commentary and opinion website that celebrates women's health, beauty, wisdom and vibrancy. We're here to remind the world how vital, versatile and powerful women over 40 are.
Girls Globe
Since Feb 2016
We fight to create a sustainable world shaped by peace and solidarity, free from any discrimination, inequality and violence, enabling all girls and women to live up to their fullest potential.
UN Women is the global champion for women and girls. It acts on the premise that every woman has the right to live a free life from violence, poverty, and discrimination, and that gender equality is central to achieving development.